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
