summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorintrigeri <intrigeri@boum.org>2016-12-20 07:35:25 +0000
committerintrigeri <intrigeri@boum.org>2016-12-20 11:31:37 +0000
commit897fd7542afa9187c1270c4980d7d16fabc8a62b (patch)
treea8a3ace9fd0a2e19b9e315931ed8cdfeef3f6191
parent0c3b0369eadeda4bf44d717af65233e79829f220 (diff)
build-tails: make the umount call verbose (refs: #12009).
… in the hope that it tells us why the filesystem cannot be unmounted, if this ever happens.
-rwxr-xr-xvagrant/provision/assets/build-tails2
1 files changed, 1 insertions, 1 deletions
diff --git a/vagrant/provision/assets/build-tails b/vagrant/provision/assets/build-tails
index 97dca16..73bce7b 100755
--- a/vagrant/provision/assets/build-tails
+++ b/vagrant/provision/assets/build-tails
@@ -30,7 +30,7 @@ cleanup() {
remove_build_dirs() {
for mountpoint in $(old_build_dirs | tac) ; do
sudo lsof | grep --fixed-strings "$mountpoint" || true
- sudo umount -f "$mountpoint"
+ sudo umount -f --verbose "$mountpoint"
sudo rm -rf "$mountpoint"
done
}