Project

General

Profile

« Previous | Next » 

Revision 8291

*run: Use -e option to bash on the #! line instead of separate `set -o errexit` line so that there is no issue with the `set -o errexit` line getting separated from the #! line (errexit is required for the scripts to work properly)

  • added
  • modified
  • copied
  • renamed
  • deleted