On Mon 22 May 2017 at 11:12:02 +0200, Dejan Jocic wrote: > On 21-05-17, Brian wrote: > > On Sun 21 May 2017 at 22:18:11 +0200, Dejan Jocic wrote: > > > > > Sorry, but you are doing it wrong way. Grub 2 should not be customized > > > by editing /boot/grub/grub.cfg , but by editing /etc/default/grub and > > > files in /etc/grub.d/. Reason is obvious, your customization is lost > > > whenever something related to linux-image is upgraded. Just saying :) > > > > "Wrong" isn't quite the right way to put. For most people in most > > circumstances editing grub.cfg and using update-grub is a wise procedure > > and to be advocated. But a hand-crafted grub.cfg can be very useful. > > update-grub can be prevented from getting its hands on it with > > dpkg-divert, > > > > -- > > Brian. > > > > Well, I was always under assumption that in case of grub2 you can change > anything in grub.cfg by editing /etc/default/grub and files in > /etc/grub.d/. Perhaps I was wrong about it, in which case I do > apologise.
No need to apologise. Your assumption is correct and your advice sound; 100% of Debian users should thank you for it. The 0.1% who wander from the straight and narrow presumably know what they are doing. -- Brian.