* util/grub.d/10_hurd.in: Add misc readability checks.
* util/grub.d/10_kfreebsd.in: Likewise.
* util/grub.d/10_linux.in: Likewise.
+2010-09-10 Robert Millan <rmh@gnu.org>
+
+ * util/grub.d/10_hurd.in: Add misc readability checks.
+ * util/grub.d/10_kfreebsd.in: Likewise.
+ * util/grub.d/10_linux.in: Likewise.
+
2010-09-10 Colin Watson <cjwatson@ubuntu.com>
* util/grub-install.in: ${imgext} won't be defined here until the
basename=`basename $i`
dirname=`dirname $i`
rel_dirname=`make_system_path_relative_to_its_root $dirname`
+
+ if ! is_path_readable_by_grub ${dirname}/${basename} \
+ ${GRUB_DEVICE_BOOT} \
+ ${rel_dirname}/${basename} ; then
+ echo "${dirname}/${basename} is not readable by GRUB" >&2
+ exit 1
+ fi
+
echo "Found GNU Mach: $i" >&2
kernels="${kernels} ${rel_dirname}/${basename}"
at_least_one=true
mod="$1"
allow_fail="$2"
- if ! test -e "${module_dir}/${mod}.ko" ; then
+ if ! is_path_readable_by_grub "${module_dir}/${mod}.ko" ; then
if [ "${allow_fail}" = "true" ] ; then
# Return silently
return
prepare_boot_cache="$(prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/")"
fi
+ if ! is_path_readable_by_grub ${dirname}/${basename} \
+ ${GRUB_DEVICE_BOOT} \
+ ${rel_dirname}/${basename} ; then
+ echo "${dirname}/${basename} is not readable by GRUB" >&2
+ exit 1
+ fi
+
printf '%s\n' "${prepare_boot_cache}"
cat << EOF
echo '$(printf "$(gettext_quoted "Loading kernel of FreeBSD %s ...")" ${version})'
zfs)
load_kfreebsd_module opensolaris false
- ls "${dirname}/zfs/zpool.cache" > /dev/null
+ if ! is_path_readable_by_grub ${dirname}/zfs/zpool.cache \
+ ${GRUB_DEVICE_BOOT} \
+ ${rel_dirname}/zfs/zpool.cache ; then
+ echo "${dirname}/zfs/zpool.cache is not readable by GRUB" >&2
+ exit 1
+ fi
+
printf '%s\n' "${prepare_boot_cache}"
cat << EOF
kfreebsd_module ${rel_dirname}/zfs/zpool.cache type=/boot/zfs/zpool.cache
EOF
fi
+ for i in ${basename} ${initrd} ; do
+ if ! is_path_readable_by_grub ${dirname}/${i} \
+ ${GRUB_DEVICE_BOOT} \
+ ${rel_dirname}/${i} ; then
+ echo "${dirname}/${i} is not readable by GRUB" >&2
+ exit 1
+ fi
+ done
+
if [ -z "${prepare_boot_cache}" ]; then
prepare_boot_cache="$(prepare_grub_to_access_device ${GRUB_DEVICE_BOOT} | sed -e "s/^/\t/")"
fi