https://technastic.com/configure-grub-on-ubuntu/