Bem, normalmente você não tem permissão para modificar /etc/default/grub
, mas pode fazer isso com privilégios de root:
sudo -i #to get root permissions
gedit /etc/default/grub #to edit /etc/default/grub
Se o seu gedit
ainda não abrir, tente reinstalá-lo (usando o comando sudo apt-get install --reinstall gedit
) ou use nano
( nano /etc/default/grub
).