1 files changed, 2 insertions, 3 deletions
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