From f9a97eb25306253be6216b19b6f349875c2e18d3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Krist=C3=B3f=20T=C3=B3th?= Date: Sun, 15 Apr 2018 21:50:43 +0200 Subject: [PATCH] Make script headers consistent --- hack/tfw.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/hack/tfw.sh b/hack/tfw.sh index a6ca836..67fba1e 100755 --- a/hack/tfw.sh +++ b/hack/tfw.sh @@ -1,10 +1,11 @@ #!/usr/bin/env bash -set -eo pipefail +set -e +set -o pipefail +set -o errtrace shopt -s expand_aliases - [ "$(uname)" == "Darwin" ] && alias readlink="greadlink" || : -SCRIPT_DIR="$(dirname $(readlink -f $0))" +SCRIPT_DIR="$(dirname $(readlink -f $0))" TAO_PATH="${TAO_PATH:-$SCRIPT_DIR/../..}" BASEIMAGE_REPO="${BASEIMAGE_REPO:-baseimage-tutorial-framework}" TEST_REPO="${TEST_REPO:-test-tutorial-framework}"