https://gadgeteer.co.za/how-to-install-grub-customizer-on-ubuntu/