#/usr/bin/bash echo "Add GRUB_SAVEDEFAULT=true to /etc/default/grub" echo "Run sudo grub2-mkconfig -o /boot/grub2/grub.cfg" exit 0