diff options
| -rwxr-xr-x | skein-infra | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/skein-infra b/skein-infra index 44f55a5..2e8c866 100755 --- a/skein-infra +++ b/skein-infra @@ -44,7 +44,7 @@ setup() { mknod "$SKEIN_CGIT_ROOT"/dev/null c 1 3 chmod 666 "$SKEIN_CGIT_ROOT"/dev/null - for i in "$SKEIN_CGIT_ROOT"/instances/*; do + for i in "$SKEIN_CGIT_ROOT"/home/*; do test -d "$i" || continue user=$(basename "$i") id -ru "$user" >/dev/null || continue @@ -52,7 +52,7 @@ setup() { git_repo_dir="${SKEIN_GIT_ROOT}/$user" test -d "$git_repo_dir" || continue - instance_repo_dir="$SKEIN_CGIT_ROOT"/instances/$user/repos + instance_repo_dir="$SKEIN_CGIT_ROOT"/home/$user/repos bind_mount "$git_repo_dir" "$instance_repo_dir" chmod 0701 "$instance_repo_dir" @@ -63,7 +63,7 @@ teardown() { rm "$SKEIN_CGIT_ROOT"/dev/null rmdir "$SKEIN_CGIT_ROOT"/dev - for i in "$SKEIN_CGIT_ROOT"/instances/*/repos; do + for i in "$SKEIN_CGIT_ROOT"/home/*/repos; do bind_umount "$i" done } |