Configuration démarrage GRUB :
- Définir la ligne à démarrer (lignes qui s’affichent au démarrage du PC, compter à partir de 0)
- /etc/default/grub.cfg
renseigner DEFAULT avec le n° de ligne à démarrer
- en mode terminal (gksu gnome-terminal) lancer update-grub2