pour modifier le grub loader (dans notre cas, changer le boot par défaut):

  • Configurer l'editeur avance Kate pour fonctionner en utilisateur root (Propriétés > Application > Avancé > utiliser en tant qu'utilisateur root
  • Avec Kate, ouvrir le fichier /boot/grub/menu.lst
  • Modifier le paramètre default (sans # devant) en donnant le numéro de la proposition souhaitée.
  • On peut aussi modifier la durée pendant laquelle on peut choisir sa proposition (timeout= ) par défaut : 5secondes



ou, plus rapide en mode Konsole

home/romain# apt-get install mc
home/romain# mcedit /boot/grub/menu.lst


Mon menu.lst annoté