jeudi 19 juillet 2012

Editez votre Grub

Pour éditer votre fichier Grub:

gksudo mousepad /etc/default/grub

Changez "mousepad" pour votre éditeur préféré, par exemple "gedit".

Si vous avez changé quelque chose, n'oubliez pas de faire ensuite:

sudo update-grub

Aucun commentaire:

Enregistrer un commentaire

Remarque : Seul un membre de ce blog est autorisé à enregistrer un commentaire.