nettoyages des script et arret des scripts en cas d'erreur

2017-10-31 21:14:55 +01:00
parent 07fed59cf7
commit 3091032d0c
11 changed files with 62 additions and 33 deletions
--- a/downloader.sh
+++ b/downloader.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
-WGETCMD="wget --no-cookies -P $CHROOT/"
+set -eu
+# Téléchargements des sources 
 $WGETCMD $REPO/$STAGE3
 $WGETCMD $REPO/$SNAPSHOT
 $WGETCMD $REPO/kernel.tar.bz2