Reiner Buehl schreef op 2018-07-25 19:51:
Many thanks, Floris! With your expression I now see the other options:
bilbo:~# awk -F"'" '/menuentry/ {print $2}' /boot/grub/grub.cfg
Debian GNU/Linux
Advanced options for Debian GNU/Linux
Debian GNU/Linux, with Linux 4.9.0-7-686-pae
Debian GNU/Linux, with Linux 4.9.0-7-686-pae (sysvinit)
Debian GNU/Linux, with Linux 4.9.0-7-686-pae (recovery mode)
Debian GNU/Linux, with Linux 4.9.0-7-amd64
Debian GNU/Linux, with Linux 4.9.0-7-amd64 (sysvinit)
Debian GNU/Linux, with Linux 4.9.0-7-amd64 (recovery mode)
Debian GNU/Linux, with Linux 4.9.0-6-686-pae
Debian GNU/Linux, with Linux 4.9.0-6-686-pae (sysvinit)
Debian GNU/Linux, with Linux 4.9.0-6-686-pae (recovery mode)
Debian GNU/Linux, with Linux 4.9.0-5-686-pae
Debian GNU/Linux, with Linux 4.9.0-5-686-pae (sysvinit)
Debian GNU/Linux, with Linux 4.9.0-5-686-pae (recovery mode)
Do you know if just specifying "Debian GNU/Linux, with Linux
4.9.0-7-amd64" as option to grub-set-default is enough or do I need to
somehow "navigate" into the "Advanced options for Debian GNU/Linux"
sub menu?
Best regards,
Reiner
From grub-set-default --help
Usage: grub-set-default [OPTION] MENU_ENTRY
MENU_ENTRY is a number, a menu item title or a menu item identifier.
Specifying "Debian GNU/Linux, with Linux 4.9.0-7-amd64" should be
enough.
---
Floris
