27 Sep
2011
27 Sep
'11
1:22 a.m.
This avoids errors with process substitutions in chroots, among other things. Signed-off-by: Dave Reisner <dreisner@archlinux.org> --- mkinitcpio | 3 +++ 1 files changed, 3 insertions(+), 0 deletions(-) diff --git a/mkinitcpio b/mkinitcpio index 72e7ec8..5419d9b 100755 --- a/mkinitcpio +++ b/mkinitcpio @@ -156,6 +156,9 @@ if [[ -t 2 ]] && (( COLOR )); then fi readonly NC BOLD BLUE GREEN RED YELLOW +# insist that /dev be mounted (important for chroots) +findmnt /dev &>/dev/null || die "/dev is not mounted" + if [[ $BASEDIR ]]; then # resolve the path. it might be a relative path and/or contain symlinks if ! pushd "$BASEDIR" &>/dev/null; then -- 1.7.6.4