* util/grub.d/20_linux_xen.in: Likewise.
+2011-03-30 Alexey Shvetsov <alexxy@gentoo.org>
+
+ * util/grub.d/10_linux.in: Add gentoo-specific config filename.
+ * util/grub.d/20_linux_xen.in: Likewise.
+
2011-03-30 Vladimir Serbinenko <phcoder@gmail.com>
* util/grub.d/10_linux.in: Try alternative config filenames where
done
config=
- for i in "config-${version}" "config-${alt_version}"; do
- if test -e "${dirname}/${i}" ; then
- config="${dirname}/${i}"
+ for i in "${dirname}/config-${version}" "${dirname}/config-${alt_version}" "/etc/kernels/kernel-config-${version}" ; do
+ if test -e "${i}" ; then
+ config="${i}"
break
fi
done
version=$(echo $basename | sed -e "s,^[^0-9]*-,,g")
dirname=$(dirname $i)
config=
- for j in "config-${version}" "config-${alt_version}"; do
- if test -e "${dirname}/${j}" ; then
- config="${dirname}/${j}"
+ for j in "${dirname}/config-${version}" "${dirname}/config-${alt_version}" "/etc/kernels/kernel-config-${version}" ; do
+ if test -e "${j}" ; then
+ config="${j}"
break
fi
done