diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-04-14 12:18:02 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2022-04-14 12:19:29 +0200 |
| commit | 489b4c4efc334804ca294488031d70184b19c346 (patch) | |
| tree | 1088f3fff429752dcfa7fb748cd7e398960bafd7 | |
| parent | 386ecab61e30d326b8f3cdabc5feae6624bb19f0 (diff) | |
| download | debian-edu-fai+itzks-489b4c4efc334804ca294488031d70184b19c346.tar.gz debian-edu-fai+itzks-489b4c4efc334804ca294488031d70184b19c346.tar.bz2 debian-edu-fai+itzks-489b4c4efc334804ca294488031d70184b19c346.zip | |
fai/config/scripts/GRUB_EFI/10-setup: Explicitly set --bootnext entry to 0000 after grub-install.
| -rwxr-xr-x | fai/config/scripts/GRUB_EFI/10-setup | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/fai/config/scripts/GRUB_EFI/10-setup b/fai/config/scripts/GRUB_EFI/10-setup index 646876d..5f4a6de 100755 --- a/fai/config/scripts/GRUB_EFI/10-setup +++ b/fai/config/scripts/GRUB_EFI/10-setup @@ -73,6 +73,14 @@ else if [ $? -eq 0 ]; then echo "Grub installed on $BOOT_DEVICE = $GROOT" fi + + # Hack for the Dell Venue 8 Pro device series + if $ROOTCMD dmidecode | grep "Product Name:" | grep -q "Venue 8 Pro"; then + + $ROOTCMD efibootmgr --bootnext 0000 + + fi + fi $ROOTCMD update-grub |