[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] grub-install for EFI
From: |
Robert Millan |
Subject: |
Re: [PATCH] grub-install for EFI |
Date: |
Fri, 11 May 2007 18:21:43 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
On Fri, May 11, 2007 at 06:11:34PM +0200, Robert Millan wrote:
>
> One thing that I'm not sure about is the CLI inconsistency. Perhaps it
> shouldn't take the directory as a standalone parameter, and instead use
> --root-directory?
Or perhaps it should do like powerpc and check that /boot/grub is a mount
point?
# Find the partition at the right mount point.
install_device=`awk '$2 == '"\"$grubdir\""' { print $1 }' < /proc/mounts`
if test "x$install_device" = x; then
echo "$grubdir must be a mount point."
exit 1
fi
--
Robert Millan
My spam trap is address@hidden Note: this address is only intended
for spam harvesters. Writing to it will get you added to my black list.
Re: [PATCH] grub-install for EFI, Yoshinori K. Okuji, 2007/05/15