From c6bdc2130beba04d8a847513b0ff0b31b0fbd797 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Wed, 20 Jul 2016 21:33:36 -0700 Subject: [PATCH] install-aws-server: secrets enhancements. --- tools/setup/install-aws-server | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/tools/setup/install-aws-server b/tools/setup/install-aws-server index bc3fc6bbcb..04834f1af2 100755 --- a/tools/setup/install-aws-server +++ b/tools/setup/install-aws-server @@ -37,6 +37,11 @@ if ! [ -e "$server_private_key_file" ]; then exit 1 fi +if [ -z "$secrets_file" ]; then + echo "Specify secrets_file via environment." + exit 1 +fi + zulip_repo=$(crudini --get "$zulip_ssh_config_file" repo repo_url) if [ -z "$branch" ]; then @@ -55,6 +60,7 @@ set +e ssh "${SSH_OPTS[@]}" "$server" -t -i "$amazon_key_file" -lubuntu -o "ControlMaster=no" <