O editor de terminal mais fácil de usar provavelmente será nano
, então um comando como este poderia funcionar:
nano /etc/default/grub
Você não especificou exatamente qual dos arquivos de configuração do grub você estava editando. Então pode ser que você tenha que digitar um nome de arquivo diferente.