# HG changeset patch # User Pascal Bellard # Date 1252064292 -7200 # Node ID ae53586561c80d36fccb697419a9faa19ef963df # Parent 80fe32e8e9d5a326216e27a2526e5f5943883c43 grub: handle partition in /dev/mapper diff -r 80fe32e8e9d5 -r ae53586561c8 grub/stuff/dev_partition.diff --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/grub/stuff/dev_partition.diff Fri Sep 04 13:38:12 2009 +0200 @@ -0,0 +1,16 @@ +Partition can be ${dev}$num or ${dev}p$num +--- grub-0.97/lib/device.c ++++ grub-0.97/lib/device.c +@@ -867,6 +867,12 @@ + fd = open (dev, O_RDWR); + if (fd < 0) + { ++ strcpy (dev, map[drive]); ++ sprintf (dev + strlen(dev), "p%d", ((partition >> 16) & 0xFF) + 1); ++ } ++ ++ if (fd < 0) ++ { + errnum = ERR_NO_PART; + return 0; + }