-
Grub tips : connaitre le kernel par defaut
February 28, 2014 at 1:05:43 PM GMT+1 * - permalink -Trouver le numero du menuentry par defaut :
grep GRUB_DEFAULT /etc/default/grubEnsuite, il suffit de lister les menuentry et de compter (le premier est à 0)
grep menuentry /boot/grub/grub.cfg
-
https://links.infomee.fr/shaare/PsSF_A