mnmalst, 1 year ago

FYI: /etc/grub.d/10_linux should not be edited directly for permanent changes since those changes get replaced when grub is updated.

Use /etc/default/grub for permanent changes.