Hi, Paul Wise wrote:
How does it handle the situation where a user customises their grub config and then upgrades grub (which runs update-grub)?
The list configuration functionality does its job by modifying the scripts at /etc/grub.d (it adds an output filter which does the renaming, removing etc - if required). The settings manager simply edits the /etc/default/grub script. After that it simply executes update-grub. If you want to read a more detailled information how it's working take a look at this page: https://answers.launchpad.net/grub-customizer/+faq/1355
Also, what is BURG?
BURG is an grub2 alternative which provides a similar configuration backend - so it was quite easy to support this bootloader too. bye, Daniel -- To UNSUBSCRIBE, email to debian-mentors-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4d00f5fb.4000...@web.de