Xen devel - Aug 2013 - [PATCH] pygrub: add Debian extlinux.conf path

This is Debian bug #697407.

http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=697407

Signed-off-by: Ian Campbell <ijc@hellion.org.uk>
---
 tools/pygrub/src/pygrub | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub
index 363fbc7..ee4e741 100644
--- a/tools/pygrub/src/pygrub
+++ b/tools/pygrub/src/pygrub
@@ -430,6 +430,7 @@ class Grub:
                             "/boot/grub2/grub.cfg",
"/grub2/grub.cfg"]) + \
                        map(lambda x: (x,grub.ExtLinuxConf.ExtLinuxConfigFile),
                            ["/boot/isolinux/isolinux.cfg",
+                            "/boot/extlinux/extlinux.conf",
                             "/boot/extlinux.conf"]) + \
                        map(lambda x: (x,grub.GrubConf.GrubConfigFile),
                            ["/boot/grub/menu.lst",
"/boot/grub/grub.conf",
-- 
1.8.3.2

Ian Campbell writes ("[PATCH] pygrub: add Debian extlinux.conf
path"):
> This is Debian bug #697407.
I have applied this patch.  I have also queued it for backporting.

Thanks,
Ian.