diff --git a/etc/set_up_workstation.sh b/etc/set_up_workstation.sh index 5f34dca2977..9f9e7a1c800 100755 --- a/etc/set_up_workstation.sh +++ b/etc/set_up_workstation.sh @@ -1,3 +1,5 @@ +#! /bin/bash + silent_grep() { command grep -q "$@" >/dev/null 2>&1 } diff --git a/evergreen/check_workstation_setup.sh b/evergreen/check_workstation_setup.sh index 5ed2a5c124b..eb3a7f98b6d 100755 --- a/evergreen/check_workstation_setup.sh +++ b/evergreen/check_workstation_setup.sh @@ -1,3 +1,5 @@ +#! /bin/bash + failed_setup=false source ~/.bashrc