summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorThomas Bächler <thomas@archlinux.org>2010-02-17 01:41:51 +0100
committerThomas Bächler <thomas@archlinux.org>2010-02-17 01:41:51 +0100
commit8d296c6c778ce84fa03ae7784272019840fac408 (patch)
tree3a3dda77afecc3e8ee2189217dbea8a2f2883ade
parent3460ba7aaee39741b7491daaa55fc4ed70c683bd (diff)
downloadmkinitcpio-8d296c6c778ce84fa03ae7784272019840fac408.tar.gz
mkinitcpio-8d296c6c778ce84fa03ae7784272019840fac408.tar.xz
Improve sanity check: ${init} must be executable
-rw-r--r--init2
1 files changed, 1 insertions, 1 deletions
diff --git a/init b/init
index 3dbe916..19722e4 100644
--- a/init
+++ b/init
@@ -118,7 +118,7 @@ if [ "$(stat -c %D /)" = "$(stat -c %D /new_root)" ]; then
echo "Bailing out, you are on your own. Good luck."
echo
launch_interactive_shell --exec
-elif [ ! -f "/new_root${init}" ]; then
+elif [ ! -x "/new_root${init}" ]; then
# Successfully mounted /new_root, but ${init} is missing
# The same logic as above applies
err "Root device mounted successfully, but ${init} does not exist."