diff options
-rwxr-xr-x | src/manage.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/manage.sh b/src/manage.sh index 76f2358..3ac0303 100755 --- a/src/manage.sh +++ b/src/manage.sh @@ -42,8 +42,6 @@ SSH_KEY="id_rsa" SSH_CONFIG="ssh.config" SSH_USER="flufigut" -set -e - deploy_all() { for machine in "$OUTPUT_DIR"/*; do if [ -d "$machine" ]; then |