From: Neal H Walfield <[EMAIL PROTECTED]>
Subject: Re: A few notes on my experience
Date: Tue, 28 Mar 2000 21:21:50 -0500

>  # directory.
>  grubdir_device=`df ${grubdir} | grep /dev/ | sed 's%.*\(/dev/[a-z0-9]*\).*%\1%'`
> -if test "$grubdir_device" != "$root_device"; then
> +if test $grubdir_device != $root_device; then
>      # For now, cannot deal with this situation.
>      cat <<EOF 1&>2

  I can't understand why this is necessary. That can work correctly
under bash 1.14.7 and bash 2.03.

Okuji

Reply via email to