1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
| $ sed -i 's/GRUB_DEFAULT=.*/GRUB_DEFAULT=saved/g' /etc/default/grub $ grep "GRUB_DEFAULT" /etc/default/grub GRUB_DEFAULT=saved $ grub-set-default "Advanced options for Ubuntu>Ubuntu, with Linux 5.15.0-91-generic" $ grub-editenv list saved_entry=Advanced options for Ubuntu>Ubuntu, with Linux 5.15.0-91-generic
$ update-grub Sourcing file `/etc/default/grub' Sourcing file `/etc/default/grub.d/init-select.cfg' Generating grub configuration file ... Found linux image: /boot/vmlinuz-5.15.0-91-generic Found initrd image: /boot/initrd.img-5.15.0-91-generic Found linux image: /boot/vmlinuz-5.4.0-107-generic Found initrd image: /boot/initrd.img-5.4.0-107-generic Found linux image: /boot/vmlinuz-5.4.0-73-generic Found initrd image: /boot/initrd.img-5.4.0-73-generic done
|