Factoids

grub-saved:

  1. sed -i /^GRUB_SAVEDEFAULT=/D /etc/default/grub;echo GRUB_SAVEDEFAULT=true>>/etc/default/grub;sed -i 's/^\(GRUB_DEFAULT\)=.*/\1=saved/' /etc/default/grub;update-grub