GRUB

Ubuntu 18.10, 18.04, 16.04 e 14.04 / Linux Mint 19, 18 e 17:


    sudo add-apt-repository ppa:danielrichter2007/grub-customizer
    sudo apt update
    sudo apt install grub-customizer

Ubuntu 19.04:

    sudo apt install grub-customizer