On Sun, 2012-04-29 at 13:14 +0100, Ian Campbell wrote: > Package: grub-common > Version: 1.99-21 > Followup-For: Bug #603832 > > I've just been looking at this again. I think the best overall solution would > be to move 20_linux_xen to a priority before 10_linux (e.g. 08_linux_xen).
Immediately after hitting send on the previous mail it occurred to me that dpkg-divert might offer the ideal interface for local admins to tweak the priority ordering from the defaults. And indeed: # dpkg-divert --divert /etc/grub.d/08_linux_xen --rename /etc/grub.d/20_linux_xen Does exactly what is required and: # dpkg-divert --rename --remove /etc/grub.d/20_linux_xen and undoes things (on Squeeze and Wheezy). For some reason I had it in my head that dpkg-divert didn't work for conffiles, but on reflection I can't see any reason why that should be the case. In the absence of a change or default ordering this seems like by far the preferable solution, I shall probably update http://wiki.debian.org/Xen to reflect this fairly soon. This info would make a nice addition to README.Debian but otherwise I reckon this bug can be closed. Ian. -- Ian Campbell BOFH excuse #346: Your/our computer(s) had suffered a memory leak, and we are waiting for them to be topped up. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
