diff --git a/server/deploy.sh b/server/deploy.sh index 82136c4..7a14074 100755 --- a/server/deploy.sh +++ b/server/deploy.sh @@ -1,21 +1,30 @@ #!/bin/bash -# This script should be called with the name of the branch to deploy. ($1 will -# be the branch name.) +set -eo pipefail -set -euo pipefail +branch=$1 +if [ -z "$branch" ]; then + echo "Type the name of the branch you would like to deploy: " + read branch +fi -sudo -u hmn bash -s <