bunch of minor updates

[automated-distro-installer] / mk-basefile-big

diff --git a/mk-basefile-big b/mk-basefile-big
index eee1a4c5573d3ee0a0753987694d6d3c224bd459..873b7ffb24be2b76aa1c297b7fb7f8f057c69541 100755 (executable)
--- a/mk-basefile-big
+++ b/mk-basefile-big
@@ -58,6 +58,9 @@ case $distver in
     distro=trisquel
     classes="UBUNTU FLIDAS64 VOL_FLIDAS FLIDAS DESKTOP"
     ;;
+  stretch)
+    classes="DEBIAN STRETCH64 VOL_STRETCH STRETCH DESKTOP"
+;;
   *)
     echo "$0: error: unknown DISTRO_CODENAME"
     usage 1
@@ -70,14 +73,13 @@ distro=trisquel
 t=/tmp/dirinstall
 
 
-cleanup() {
+err-cleanup() {
   sed -i 's/^#LOGUSER=/LOGUSER=/' /etc/fai/fai.conf
   for d in proc var/lib/dpkg var/cache; do
   umount -R $t/$d ||:
   done
   rm -rf $t
 }
-_errcatch_cleanup=cleanup
 
 
 myfai-chboot default