diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-10-03 09:01:06 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2019-10-03 09:06:33 +0200 |
| commit | f48ca1502266b0a36b90e216de14b77cdd11703a (patch) | |
| tree | 92f5a5fcb06e1ddd4c41af14af15bda33470bcdc /fai/config/scripts/GRUB_PC | |
| parent | 8525a665fad5aeb020306dd49809ca16c4044f22 (diff) | |
| download | debian-edu-fai+itzks-f48ca1502266b0a36b90e216de14b77cdd11703a.tar.gz debian-edu-fai+itzks-f48ca1502266b0a36b90e216de14b77cdd11703a.tar.bz2 debian-edu-fai+itzks-f48ca1502266b0a36b90e216de14b77cdd11703a.zip | |
FAI config: well-tested Debian Edu 10 minimal + MATE workstation installation
Diffstat (limited to 'fai/config/scripts/GRUB_PC')
| -rwxr-xr-x | fai/config/scripts/GRUB_PC/10-setup | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/fai/config/scripts/GRUB_PC/10-setup b/fai/config/scripts/GRUB_PC/10-setup index 5563275..34876f3 100755 --- a/fai/config/scripts/GRUB_PC/10-setup +++ b/fai/config/scripts/GRUB_PC/10-setup @@ -3,6 +3,7 @@ error=0; trap 'error=$(($?>$error?$?:$error))' ERR # save maximum error code +set -x set -a # do not set up grub during dirinstall @@ -49,4 +50,5 @@ else fi $ROOTCMD update-grub +set +x exit $error |