On Wed, 2008-05-28 at 15:46 +0200, Robert Millan wrote:
> Fine with me. Will you check that in soon?
Applied. Sorry for delay.
--
Regards,
Pavel Roskin
___
Grub-devel mailing list
Grub-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/grub-devel
On Thu, May 15, 2008 at 06:10:56PM -0400, Pavel Roskin wrote:
> On Mon, 2008-05-12 at 17:32 +0200, Robert Millan wrote:
>
> > > Also, I checked devices.txt from Linux, and I see a simple pattern
> > > there. If the device ends in a number, the partitions are made by
> > > adding "p" and the numbe
On Mon, 2008-05-12 at 17:32 +0200, Robert Millan wrote:
> > Also, I checked devices.txt from Linux, and I see a simple pattern
> > there. If the device ends in a number, the partitions are made by
> > adding "p" and the number. Otherwise, only the number is added.
>
> Good catch! But please ma
On Sun, May 11, 2008 at 08:34:33PM -0400, Pavel Roskin wrote:
> Hello!
>
> linux_find_partition() is used to make it possible to access partitions
> using the native OS devices for the partitions, rather than the device
> for the whole drive.
>
> As new devices are supported by GRUB, linux_find_p
Hello!
linux_find_partition() is used to make it possible to access partitions
using the native OS devices for the partitions, rather than the device
for the whole drive.
As new devices are supported by GRUB, linux_find_partition() should be
updated to support them, but this is not always done.
