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.
FYI: /etc/grub.d/10_linux should not be edited directly for permanent changes since those changes get replaced when grub is updated.
/etc/grub.d/10_linux
Use /etc/default/grub for permanent changes.
/etc/default/grub