diff options
-rwxr-xr-x | skein-infra | 18 |
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() { |