#/usr/bin/bash

echo "Add GRUB_SAVEDEFAULT=true to /etc/default/grub"
echo "Run sudo grub2-mkconfig -o /boot/grub2/grub.cfg"

exit 0