On Wed 28 Mar 2012 at 18:35:49 +0300, Andrei POPESCU wrote: > By "locally diverting" Sven meant using dpkg-divert(8) which is the > correct tool for what he ended up doing.
I have a machine for which I want to manually manage grub.cfg and I agree totally with you (and Sven, of course). It's a brilliant way of doing it. Here is another Debian maintainer's view: http://lists.gnu.org/archive/html/grub-devel/2011-03/msg00111.html -- To UNSUBSCRIBE, email to debian-user-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120328172954.GO16316@desktop