diff options
| author | Wynn Wolf Arbor | 2020-05-28 15:15:10 +0200 |
|---|---|---|
| committer | Wynn Wolf Arbor | 2020-05-28 16:35:52 +0200 |
| commit | efdbb04b6799ea399cc9ca4f094b6b13fdb1c82f (patch) | |
| tree | 38d12c5a175bb09297dcf3f4ec29335615c95678 | |
| parent | 14cb1906beaf9f0c79bb3e80d0ba12e521a69c8c (diff) | |
| download | skein-efdbb04b6799ea399cc9ca4f094b6b13fdb1c82f.tar.gz | |
skein-infra: Rename instances/ to home/
The instances/ directory does not directly contain user instances (but
instead directories for each user owning at least one instance), so use
home/ as a more fitting name.
| -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 } |