diff options
author | fREW Schmidt <github@frew.co> | 2020-05-14 03:53:38 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-14 12:53:38 +0200 |
commit | ec6549748b6ec76cc7c13b8a5b117a3556996cc1 (patch) | |
tree | 7f9fc91985d3354928345ccd02506f60b55b7686 | |
parent | 57b14591f9905729edb275806568824e14872c02 (diff) |
Remove old sh-ism (#920)
The x prefix thing hasn't been needed for quite some time, especially if you are declaring that you want to use bash.
-rwxr-xr-x | Examples/test_script_mode.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Examples/test_script_mode.sh b/Examples/test_script_mode.sh index 95c8b49b..d2773ae3 100755 --- a/Examples/test_script_mode.sh +++ b/Examples/test_script_mode.sh @@ -1,6 +1,6 @@ #!/usr/bin/env bash -if [ x"$@" = x"quit" ] +if [ "$*" = "quit" ] then exit 0 fi |