Eu tentei editar
/ect/default/grub
É /etc/default/grub
, existe em todo sistema 12.04 e você deve ter privilégios de root para editá-lo.
- Use
Alt-F2
e, em seguida,gksudo gedit /etc/default/grub
- Não se esqueça de abrir um terminal (
Ctrl-Alt-T
) e executarsudo update-grub
para tornar as alterações permanentes!