https://www.fosslicious.com/2018/07/how-to-install-grub-customizer-on-ubuntu.html