

0·
2 years agoFYI: /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.
Use /etc/default/grub
for permanent changes.
Not op but no it’s not.