vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

2008-06-16 Robert Millan <rmh@aybabtu.com>

Browse source 
* util/update-grub_lib.in (prepare_grub_to_access_device): If we were
        asked to setup access for the same partition that provides /boot,
        don't bother using UUIDs since our root already has the value we
        want.
This commit is contained in:
robertmh 2008-06-16 22:08:03 +00:00
parent 347396d87f
commit 3cca7ef3b6
2 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
ChangeLog
View file

@ -1,3 +1,10 @@
2008-06-16 Robert Millan <rmh@aybabtu.com>
* util/update-grub_lib.in (prepare_grub_to_access_device): If we were
asked to setup access for the same partition that provides /boot,
don't bother using UUIDs since our root already has the value we
want.
2008-06-16 Robert Millan <rmh@aybabtu.com> 2008-06-16 Robert Millan <rmh@aybabtu.com>
* util/biosdisk.c (convert_system_partition_to_system_disk): Detect * util/biosdisk.c (convert_system_partition_to_system_disk): Detect

6
util/update-grub_lib.in
View file

@ -114,6 +114,12 @@ prepare_grub_to_access_device ()
{ {
device=$1 device=$1
# If our target is the same partition that provides /boot, our $root
# is already set to what we want, so no need to bother with UUIDs.
if [ "x${device}" = "x${GRUB_DEVICE_BOOT}" ] ; then
return
fi
# If there's a filesystem UUID that GRUB is capable of identifiing, use it; # If there's a filesystem UUID that GRUB is capable of identifiing, use it;
# otherwise set root as per value in device.map. # otherwise set root as per value in device.map.
echo "set root=`${grub_probe} --device ${device} --target=drive`" echo "set root=`${grub_probe} --device ${device} --target=drive`"