From: Alessandro Rubini <[EMAIL PROTECTED]>
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
_______________________________________________
Bug-grub mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-grub
