You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
they are started with /bin/bash /path/to/script, therefore the -e in the #!/bin/bash -e shebang is ignored. We could add -e to all the invocations, or (safer?) add set -e in each script. See e.g.: d3c527c
The text was updated successfully, but these errors were encountered:
they are started with
/bin/bash /path/to/script
, therefore the -e in the#!/bin/bash -e
shebang is ignored. We could add-e
to all the invocations, or (safer?) addset -e
in each script. See e.g.: d3c527cThe text was updated successfully, but these errors were encountered: