diff --git a/tools/pygrub/src/pygrub b/tools/pygrub/src/pygrub index eedfdb2fbf..bcdd60288e 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",