Grub now uses binary configuration format, which has to be generated from a text file. The text file is /etc/default/grub. Edit it, then run update-grub.
Grub now uses binary configuration format, which has to be generated
from a text file. The text file is /etc/default/grub. Edit it, then
run update-grub.