[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: |
Wed, 16 May 2007 08:17:39 +0200 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
On Tue, May 15, 2007 at 10:22:06PM +0200, Yoshinori K. Okuji wrote:
> > 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
>
> It is a bad idea to use /proc, at least without checking the operating
> system.
> This makes the script unportable among host operating systems.
Note that this code is in powerpc/../grub-install.in already, and in my version
of i386/efi/grub-install.in it didn't made in. Instead, sanity check there is:
fs_module=`$grub_probe --target=fs --device-map=${device_map} ${grubdir}`
if test "x$fs_module" = xfat; then :; else
echo "${grubdir} doesn't look like an EFI partition." 1>&2
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