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.

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
 }