tiocnotty: switch to python3

[bin.git] / chroot-teardown

diff --git a/chroot-teardown b/chroot-teardown
index f7ceed9cf6d8f36ea5b9c55d666277c7a3d37598..4b5693bf4548780c1f28f27d7516b249df4bc134 100755 (executable)
--- a/chroot-teardown
+++ b/chroot-teardown
@@ -18,6 +18,7 @@ maybe_umount /home/cjwatson/.keychain
 if [ "$GPG_AGENT_INFO" ]; then
        maybe_umount "$(dirname "$GPG_AGENT_INFO")"
 fi
+maybe_umount /home/cjwatson/.ssh/control
 if [ "$SSH_AUTH_SOCK" ]; then
        maybe_umount "$(dirname "$SSH_AUTH_SOCK")"
 fi