On Thu, Nov 08, 2012 at 01:40:37PM +0100, email@example.com wrote: [cut] > > > If you don't want to boot the previous kernel, but a specific one > (known to work), cat the /boot/grub/grub.cfg and locate the entry of > the kernel you want as a default. What you want is the part > immediately following the "menuentry" stanza, usually in between > single quotes (you don't need the whole line. Here is and example > grub.cfg menu entry: > > > menuentry 'Debian GNU/Linux, avec Linux 3.2.0-3-amd64 [...] > > > You would need to put the following entry in /etc/default/grub: > > GRUB_DEFAULT='Debian GNU/Linux, avec Linux 3.2.0-3-amd64' > > > Then execute "update-grub". > > I think this is a bad idea outside of a temporary test situation, if > you forget such a hack you'll be booting an old kernel possibly > vulnerable or troublesome as the default one. The config will also > break when this specific kernel version is removed by the package > manager. A couple of points. GRUB_DEFAULT takes a menu, not a title. Also, if you want to simulate the setting of GRUB_DEFAULT on a one-off basis, look at the "grub-reboot" command.
Description: Digital signature