Attached is my /etc/default/grub file. I have run update-grub or update-grub2 every time I've modified it.

Reply via email to