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 |