It may be "expected" behaviour (for who ? because I really didn't expect that), it's still very confusing.
You should at least warn the user that editing /etc/default/grub (which is the expected and documented way to alter grub configuration) is useless.
It may be "expected" behaviour (for who ? because I really didn't expect that), it's still very confusing.
You should at least warn the user that editing /etc/default/grub (which is the expected and documented way to alter grub configuration) is useless.