author avatar

manu

Tue Apr 10 2018

there are command-line options which you can add to bash scripts, can be added in the header like #!/bin/bash -e