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-F2e, em seguida,gksudo gedit /etc/default/grub - Não se esqueça de abrir um terminal (
Ctrl-Alt-T) e executarsudo update-grubpara tornar as alterações permanentes!