Re: grub-install doesn't handle correctly separate /boot partition

[OKUJI Yoshinori]

From: Alessandro Rubini <address@hidden>
Subject: Re: grub-install doesn't handle correctly separate /boot partition
Date: Mon, 9 Oct 2000 23:07:32 +0200

> If, however, "$1" looks too generic or awk doesn't look a good tool to
> use, the sed expression should return everything up to a space-or-tab,
> not only alphanumeric chars. Under some systems devices live under
> /dev/dsk.  For example when a Linux kernel uses devfs.
> 
>       df ${grubdir} | grep /dev/ | sed 's%.*\(/dev/[^         ]*\).*%\1%'
> 
> (note the space-tab char set).

  Thanks.

Okuji