https://gadgeteer.co.za/practical-guide-grub-repair-ubuntu-and-probably-linux-mint/