aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xskein-infra18
1 files changed, 3 insertions, 15 deletions
diff --git a/skein-infra b/skein-infra
index ac8084d..9673f55 100755
--- a/skein-infra
+++ b/skein-infra
@@ -10,33 +10,21 @@ usage() {
exit 1
}
-log() {
+log_mount() {
printf ' %s %s\n' "$1" "$2"
}
-ladd() {
- log + "$1"
-}
-
-ldel() {
- log - "$1"
-}
-
-remove_prefix() {
- printf "%s" "${1#$SKEIN_CGIT_ROOT/*}"
-}
-
bind_mount() {
mkdir "$2"
mount --rbind "$1" "$2"
mount --make-rslave "$2"
- ladd "$(remove_prefix "$2")"
+ log_mount "+" "$2"
}
bind_umount() {
umount "$1"
rmdir "$1"
- ldel "$(remove_prefix "$1")"
+ log_mount "-" "$1"
}
setup() {