From 258d27a1d9fb33a490bef1381f52d522225c3dca Mon Sep 17 00:00:00 2001 From: Ian Campbell Date: Fri, 16 Aug 2013 15:21:05 +0100 Subject: 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 Acked-by: Ian Jackson --- tools/pygrub/src/pygrub | 1 + 1 file changed, 1 insertion(+) (limited to 'tools') diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub index 363fbc7c66..ee4e7417d9 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", -- cgit v1.2.3