chiark
/
gitweb
/
~cjwatson
/
bin.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
blank-kvm-image: strip .img if supplied
[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