Unify script headers

2018-04-16 20:46:26 +02:00 · 2018-04-16 20:46:26 +02:00 · a740fdbda8
parent f3e6a950c8
commit a740fdbda8
1 changed files with 3 additions and 1 deletions
--- a/hack/update_oneline_install.sh
+++ b/hack/update_oneline_install.sh
@ -1,5 +1,7 @@
 #!/usr/bin/env bash
-set -eo pipefail
+set -eu
+set -o pipefail
+set -o errtrace
 shopt -s expand_aliases

 if [ "$(uname)" == "Darwin" ]; then