* util/grub-mkconfig.in: Skip non-executable files.
This commit is contained in:
parent
5ad9f728eb
commit
3deedfc033
2 changed files with 6 additions and 0 deletions
|
@ -1,3 +1,7 @@
|
||||||
|
2013-12-22 Lars Wendler <polynomial-c@gentoo.org>
|
||||||
|
|
||||||
|
* util/grub-mkconfig.in: Skip non-executable files.
|
||||||
|
|
||||||
2013-12-22 Vladimir Serbinenko <phcoder@gmail.com>
|
2013-12-22 Vladimir Serbinenko <phcoder@gmail.com>
|
||||||
|
|
||||||
Workaround buggy timer in raspberry pie by using our own timer
|
Workaround buggy timer in raspberry pie by using our own timer
|
||||||
|
|
|
@ -260,10 +260,12 @@ for i in "${grub_mkconfig_dir}"/* ; do
|
||||||
| "${grub_mkconfig_dir}"/30_os-prober \
|
| "${grub_mkconfig_dir}"/30_os-prober \
|
||||||
| "${grub_mkconfig_dir}"/40_custom \
|
| "${grub_mkconfig_dir}"/40_custom \
|
||||||
| "${grub_mkconfig_dir}"/41_custom)
|
| "${grub_mkconfig_dir}"/41_custom)
|
||||||
|
if test -x "$i" ; then
|
||||||
echo
|
echo
|
||||||
echo "### BEGIN $i ###"
|
echo "### BEGIN $i ###"
|
||||||
"$i"
|
"$i"
|
||||||
echo "### END $i ###"
|
echo "### END $i ###"
|
||||||
|
fi
|
||||||
;;
|
;;
|
||||||
# emacsen backup files. FIXME: support other editors
|
# emacsen backup files. FIXME: support other editors
|
||||||
*~) ;;
|
*~) ;;
|
||||||
|
|
Loading…
Reference in a new issue