aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorWynn Wolf Arbor2020-05-28 15:15:10 +0200
committerWynn Wolf Arbor2020-05-28 16:35:52 +0200
commitefdbb04b6799ea399cc9ca4f094b6b13fdb1c82f (patch)
tree38d12c5a175bb09297dcf3f4ec29335615c95678
parent14cb1906beaf9f0c79bb3e80d0ba12e521a69c8c (diff)
downloadskein-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.
Diffstat (limited to '')
-rwxr-xr-xskein-infra6
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
}