diff options
author | José Bollo <jose.bollo@iot.bzh> | 2018-10-23 19:12:40 +0200 |
---|---|---|
committer | José Bollo <jose.bollo@iot.bzh> | 2018-10-24 19:44:00 +0200 |
commit | e28b57f91a916aa09bcbc25ba109338731a70a23 (patch) | |
tree | a9aa706d32d1e472095f22a9465541518cba7f73 /scripts | |
parent | d7bc8762b59241610b2d5aab09b2b4e879de2be5 (diff) |
aglsetup: Fix mix of spaces and tabs
Change-Id: I6579e0bc79e030b64bfbf936fc90d42298e73732
Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/aglsetup.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/scripts/aglsetup.sh b/scripts/aglsetup.sh index b11a54196..21a1e8070 100644 --- a/scripts/aglsetup.sh +++ b/scripts/aglsetup.sh @@ -26,7 +26,7 @@ # detect if this script is sourced: see http://stackoverflow.com/a/38128348/6255594 SOURCED=0 -if [ -n "$ZSH_EVAL_CONTEXT" ]; then +if [ -n "$ZSH_EVAL_CONTEXT" ]; then [[ $ZSH_EVAL_CONTEXT =~ :file$ ]] && { SOURCED=1; SOURCEDIR=$(cd $(dirname -- $0) && pwd -P); } elif [ -n "$KSH_VERSION" ]; then [[ "$(cd $(dirname -- $0) && pwd -P)/$(basename -- $0)" != "$(cd $(dirname -- ${.sh.file}) && pwd -P)/$(basename -- ${.sh.file})" ]] && { SOURCED=1; SOURCEDIR=$(cd $(dirname -- ${.sh.file}) && pwd -P); } @@ -37,9 +37,9 @@ fi if [ $SOURCED -ne 1 ]; then unset SOURCED unset SOURCEDIR - echo "Error: this script needs to be sourced in a supported shell" >&2 - echo "Please check that the current shell is bash, zsh or ksh and run this script as '. $0 <args>'" >&2 - return 1 + echo "Error: this script needs to be sourced in a supported shell" >&2 + echo "Please check that the current shell is bash, zsh or ksh and run this script as '. $0 <args>'" >&2 + return 1 else unset SOURCED tmpfile=$(mktemp /tmp/aglsetup.XXXXXXXX) |