From 0b6cc966e28bbca440239f542fe75bf1ecf658fb Mon Sep 17 00:00:00 2001
From: Alexander Sulfrian <alex@spline.inf.fu-berlin.de>
Date: Sat, 7 Feb 2015 17:02:39 +0100
Subject: settings: error now terminates with a clear message.

---
 settings.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/settings.sh b/settings.sh
index 48699a8..60acaf9 100644
--- a/settings.sh
+++ b/settings.sh
@@ -10,6 +10,7 @@ fi
 
 error() {
     echo "$@" 1>&2
+    echo "Aborting." 1>&2
     cd "$OLDPWD" >/dev/null
     exit 1
 }
-- 
cgit v1.2.3-1-g7c22