gksudo gedit /etc/default/grub
Puis faire la mise à jour du menu
gksudo gedit /etc/default/grub
Editer le fichier de Grub
Modifier le menu de démarrage GRUB
- Détails
- Affichages : 2149
gksudo gedit /etc/default/grub
Puis faire la mise à jour du menu
gksudo gedit /etc/default/grub
Editer le fichier de Grub