From d85f3a894dd3bf219c5f611c89a04c3ea0bab280 Mon Sep 17 00:00:00 2001
From: Christian Pointner <equinox@equinox.chaos-at-home.org>
Date: Sat, 13 Oct 2012 17:03:29 +0200
Subject: no set -e (ignore errors in manage.sh)

---
 src/manage.sh | 2 --
 1 file changed, 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
-- 
cgit v1.2.3