diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/chroot_tester.sh | 2 | ||||
| -rwxr-xr-x | bin/d-i_builds.sh | 2 | ||||
| -rwxr-xr-x | bin/housekeeping.sh | 2 |
3 files changed, 4 insertions, 2 deletions
diff --git a/bin/chroot_tester.sh b/bin/chroot_tester.sh index 83c4dd12..50e4add5 100755 --- a/bin/chroot_tester.sh +++ b/bin/chroot_tester.sh @@ -49,7 +49,7 @@ cleanup_all() { sudo umount -l $CHROOT_TARGET/run/lock || true sudo umount -l $CHROOT_TARGET/run/shm || true sudo umount -l $CHROOT_TARGET/run || true - sudo rm -rf $CHROOT_TARGET + sudo rm -rf --one-file-system $CHROOT_TARGET } execute_ctmpfile() { diff --git a/bin/d-i_builds.sh b/bin/d-i_builds.sh index 79938b7f..516f427a 100755 --- a/bin/d-i_builds.sh +++ b/bin/d-i_builds.sh @@ -45,7 +45,7 @@ cleanup_all() { sudo umount -l $CHROOT_TARGET/run/lock || true sudo umount -l $CHROOT_TARGET/run/shm || true sudo umount -l $CHROOT_TARGET/run || true - sudo rm -rf $CHROOT_TARGET + sudo rm -rf --one-file-system $CHROOT_TARGET } execute_ctmpfile() { diff --git a/bin/housekeeping.sh b/bin/housekeeping.sh index 0e32a1d1..50ae330b 100755 --- a/bin/housekeeping.sh +++ b/bin/housekeeping.sh @@ -33,5 +33,7 @@ if [ "$HOUSE" != "" ] ; then exit 1 fi +df |grep tmpfs > /dev/null || echo "Warning: no tmpfs mounts in use. Please investigate the host system." + echo "No problems found, all seems good." figlet "Ok." |