Changing bootparameters in Ubuntu Grub
Solution 1:
It seems that /boot/grub/grub.cfg
is generated from files in /etc/grub.d
I managed to make the change permanent by replacing in this file /etc/grub.d/10_linux
the line:
echo " gfxmode \$linux_gfx_mode" | sed "s/^/$submenu_indentation/"
with this:
echo " gfxmode nomodeset" | sed "s/^/$submenu_indentation/"
Afterwards I ran:
sudo update-grub
to generate the new grub.cfg