diff options
| author | Christian Pointner <equinox@equinox.chaos-at-home.org> | 2012-10-13 17:03:29 +0200 |
|---|---|---|
| committer | Christian Pointner <equinox@equinox.chaos-at-home.org> | 2012-10-13 17:03:29 +0200 |
| commit | d85f3a894dd3bf219c5f611c89a04c3ea0bab280 (patch) | |
| tree | 2cdb8fbdd6c8ff0fb494fcbdeb62e03dba6851d4 | |
| parent | admin account can now be configured in json file (diff) | |
no set -e (ignore errors in manage.sh)
| -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 |