diff options
author | Richard Samuels <richard.l.samuels@gmail.com> | 2021-06-24 19:45:51 -0400 |
---|---|---|
committer | Evergreen Agent <no-reply@evergreen.mongodb.com> | 2021-07-02 02:08:51 +0000 |
commit | 8a30e2e888640f58bd7e5134e14b39de4b0b1491 (patch) | |
tree | 72e16e9201e83f34265e0ed3a595b9e5794e0e32 /evergreen/prelude.sh | |
parent | 951dfeb5aca55cc881293372dfda4b72bb478b92 (diff) | |
download | mongo-8a30e2e888640f58bd7e5134e14b39de4b0b1491.tar.gz |
SERVER-57140 reformat shell scripts and allow space between redirect operators
Diffstat (limited to 'evergreen/prelude.sh')
-rwxr-xr-x | evergreen/prelude.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/evergreen/prelude.sh b/evergreen/prelude.sh index 81bacd45325..abb0c6bce83 100755 --- a/evergreen/prelude.sh +++ b/evergreen/prelude.sh @@ -5,7 +5,7 @@ fi set -o errexit # path the directory that contains this script. -evergreen_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null 2>&1 && pwd)" +evergreen_dir="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)" . "$evergreen_dir/prelude_workdir.sh" . "$evergreen_dir/prelude_python.sh" @@ -20,7 +20,7 @@ if [ "Windows_NT" = "$OS" ]; then script=$(cygpath -w "$script") fi -eval $(activate_venv >/dev/null && $python "$script" "$expansions_yaml" "$expansions_default_yaml") +eval $(activate_venv > /dev/null && $python "$script" "$expansions_yaml" "$expansions_default_yaml") if [ -n "$___expansions_error" ]; then echo $___expansions_error exit 1 @@ -54,7 +54,7 @@ function posix_workdir { } function set_sudo { - set -o >/tmp/settings.log + set -o > /tmp/settings.log set +o errexit grep errexit /tmp/settings.log | grep on errexit_on=$? @@ -62,7 +62,7 @@ function set_sudo { set +o errexit sudo= # Use sudo, if it is supported. - sudo date >/dev/null 2>&1 + sudo date > /dev/null 2>&1 if [ $? -eq 0 ]; then sudo=sudo fi |