From 49145968147ca2e5938a21631ed449a6e383deee Mon Sep 17 00:00:00 2001
From: david <public@beloved.name>
Date: Wed, 4 Jul 2018 01:31:32 +0200
Subject: Added err and sourced it in doall.sh and license-reporter

---
 doall.sh | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

(limited to 'doall.sh')

diff --git a/doall.sh b/doall.sh
index a71d9d7..0f43b03 100755
--- a/doall.sh
+++ b/doall.sh
@@ -1,7 +1,6 @@
 #!/bin/bash
 
-set -eE -o pipefail
-trap 'echo "$0:$LINENO:error: \"$BASH_COMMAND\" returned $?" >&2' ERR
+source err
 set -x
 
 x="$(readlink -f -- "$BASH_SOURCE")"; cd ${x%/*} # directory of this file
@@ -43,7 +42,7 @@ done
 # this may return 8, because debian has removed a package from the time we made downloadlist, to the time we actually did the wget on a url in it
 # so, we do a check to see if we downloaded at least the number of files - 10
 while (( i=0; i<10; i++)); do
-
+    
     if wget -nc -nv -x --continue -i downloadlist; then
         
         break
-- 
cgit v1.2.3