Você precisa instalar o gedit primeiro com:
sudo apt-get install gedit
Então você deve poder usar:
sudo gedit /etc/default/grub
Idealmente, você deve usar gksudo
ou similar para executar o material da GUI como root, de modo que bits do seu diretório home não acabem sendo de propriedade do root. Você pode usar um editor de linha de comando, como nano
:
sudo nano /etc/default/grub
Para usá-lo simplesmente edite o material, então salve com Ctrl + O e saia com Ctrl + X . Você pode precisar instalá-lo primeiro com sudo apt-get install nano
.
Depois de aplicar qualquer alteração, você deve poder executar sudo update-grub
e reinicializar.