diff options
| author | Thomas Bächler <thomas@archlinux.org> | 2010-02-17 01:41:51 +0100 |
|---|---|---|
| committer | Thomas Bächler <thomas@archlinux.org> | 2010-02-17 01:41:51 +0100 |
| commit | 8d296c6c778ce84fa03ae7784272019840fac408 (patch) | |
| tree | 3a3dda77afecc3e8ee2189217dbea8a2f2883ade | |
| parent | 3460ba7aaee39741b7491daaa55fc4ed70c683bd (diff) | |
| download | mkinitcpio-8d296c6c778ce84fa03ae7784272019840fac408.tar.gz mkinitcpio-8d296c6c778ce84fa03ae7784272019840fac408.tar.xz | |
Improve sanity check: ${init} must be executable
| -rw-r--r-- | init | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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." |