Groups > linux.debian.user > #197993

Re: Re: Select between 686-pae and amd64 kernel in Grub?

From	"Reiner Buehl" <reiner@buehl.net>
Newsgroups	linux.debian.user
Subject	Re: Re: Select between 686-pae and amd64 kernel in Grub?
Date	2018-07-25 20:00 +0200
Message-ID	<wfweR-8n2-5@gated-at.bofh.it> (permalink)
Organization	linux.* mail to news gateway

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

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

Back to linux.debian.user | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Re: Re: Select between 686-pae and amd64 kernel in Grub? "Reiner Buehl" <reiner@buehl.net> - 2018-07-25 20:00 +0200
  Re: Re: Select between 686-pae and amd64 kernel in Grub? Andy Smith <andy@strugglers.net> - 2018-07-26 03:00 +0200
  Re: Select between 686-pae and amd64 kernel in Grub? floris <jkfloris@dds.nl> - 2018-07-26 10:30 +0200

csiph-web