Re: [Trisquel-users] edit grub

[enduzzer]

https://askubuntu.com/questions/265010/how-do-i-edit-grub-menu

[sudo nano /etc/default/grub]

[sudo update-grub]