Hello Debian support team, Brian at <a...@cityscape.co.uk> asked a question about my question 2.
> 2/ Is there a Debian approved GRUB boot customizer? I can't find one > mentioned anywhere. Please say what you mean by "boot customizer"? I did find a GRUB customizer at this link... http://www.linuxserve.com/2015/05/how-to-install-grub-customizer-406-in.html If software is not approved by Debian, is it safe to use? It certainly looks very good. A useful utility for dual boot? I'm a new open source convert! Thanks for all your help again. Stefan Sent from [ProtonMail](https://protonmail.com), Swiss-based encrypted email.