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