4 ROOT="${1:-/chroot/sid}"
7 grep -q "^[^ ]* $1 " /proc/mounts
11 if is_mountpoint "$ROOT/${1#/}"; then
12 sudo umount "$ROOT/${1#/}"
16 maybe_umount /home/cjwatson/src
17 maybe_umount /home/cjwatson/.keychain
18 if [ "$GPG_AGENT_INFO" ]; then
19 maybe_umount "$(dirname "$GPG_AGENT_INFO")"
21 maybe_umount /home/cjwatson/.ssh/control
22 if [ "$SSH_AUTH_SOCK" ]; then
23 maybe_umount "$(dirname "$SSH_AUTH_SOCK")"
25 maybe_umount /tmp/.ICE-unix
26 maybe_umount /tmp/.X11-unix