diff options
author | Erich Eckner <git@eckner.net> | 2019-11-13 12:27:36 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-11-13 12:27:36 +0100 |
commit | f1a4381a5ed3cdb4024c1980c0b2fdfe5d3836df (patch) | |
tree | 866be4b074c48d89a84918148312deed7ad3ebaa | |
parent | 9696de769a0bf45b86dc23069c3ea8131163db10 (diff) | |
download | archlinuxewe-f1a4381a5ed3cdb4024c1980c0b2fdfe5d3836df.tar.xz |
find-package-differences: check if /mnt/archlinuxewe is mounted
-rwxr-xr-x | find-package-differences | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/find-package-differences b/find-package-differences index a6c9a964f..fb5a48f84 100755 --- a/find-package-differences +++ b/find-package-differences @@ -58,6 +58,12 @@ if [ $# -ne 0 ]; then exit 1 fi +if ! mountpoint -q /mnt/archlinuxewe \ +&& ! ls /mnt/archlinuxewe | grep -qF ''; then + >&2 printf '/mnt/archlinuxewe is empty\n' + exit 1 +fi + tmp_dir=$(mktemp -d) trap 'rm -rf --one-file-system "${tmp_dir}"' EXIT |