Pour éditer ce fichier
/etc/default/grub, tu peux utiliser nano, c'est plus rudimentaire que gedit mais ça n'est pas bien compliqué.
sudo nano /etc/default/grub
Tu te déplaces avec les flèches jusqu'à l'endroit que tu veux modifier, tu fais ta modif, tu enregistres avec
ctrl-o et tu quittes avec
ctrl-x.
