online manual is out of date

2012-10-02 Thread Daniel Kahn Gillmor
hi folks--

https://www.gnu.org/software/grub/manual/grub.html appears to be
generated from 2.00~rc1.  Given that 2.00 has been out for a while now,
it seems like the online docs should probably be updated to match.

Thanks for all the work on grub!

Regards,

--dkg

___
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel


[PATCH] grub-install: Follow the symbolic link parameter added to the file command (powerpc-ieee1275)

2012-10-02 Thread Paulo Flabiano Smorigo/Brazil/IBM

Hi all,

For powerpc-ieee1275, if the given install device is a symlink, file  
cmd will follow the link to know the device type.


--
Paulo Flabiano Smorigo
Software Engineer
Linux Technology Center - IBM Systems & Technology Group
=== modified file 'ChangeLog'
--- ChangeLog	2012-09-26 12:51:13 +
+++ ChangeLog	2012-10-02 14:36:55 +
@@ -1,3 +1,8 @@
+2012-10-02  Paulo Flabiano Smorigo 
+
+	* util/grub-install.in: Follow the symbolic link parameter added
+	to the file command.
+
 2012-09-26  Colin Watson  
 
 	* Makefile.util.def (grub-mknetdir): Move to $prefix/bin.

=== modified file 'util/grub-install.in'
--- util/grub-install.in	2012-09-24 17:50:35 +
+++ util/grub-install.in	2012-10-02 14:33:18 +
@@ -750,7 +750,7 @@
 	   exit 1
 fi
 
-if [ "$(file -s "${install_device}" -b | awk '{ print $1 }')" = ELF ] || [ x$("${grub_probe}" -m "${device_map}" -d "${install_device}" -t zero_check) = xtrue ]; then
+if [ "$(file -s -b -L "${install_device}" | awk '{ print $1 }')" = ELF ] || [ x$("${grub_probe}" -m "${device_map}" -d "${install_device}" -t zero_check) = xtrue ]; then
 	dd if="${grubdir}/${grub_modinfo_target_cpu}-$grub_modinfo_platform/core.${imgext}" of="${install_device}" status=noxfer || {
 	gettext "Failed to copy Grub to the PReP partition." 1>&2
 	echo 1>&2

___
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel