From a8207a5d773c514b07b555e256394b100c3df169 Mon Sep 17 00:00:00 2001
From: Wynn Wolf Arbor
Date: Thu, 28 May 2020 18:38:04 +0200
Subject: skein-infra: Rename mount point to repos.avail

Users might easily confuse the per-instance repos/ directory with the
mount point that contains all available repositories for a given user.

Therefore, be more clear about the purpose of the mount point and rename
it.
---
 skein-infra | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'skein-infra')

diff --git a/skein-infra b/skein-infra
index 2e8c866..850b980 100755
--- a/skein-infra
+++ b/skein-infra
@@ -52,10 +52,10 @@ setup() {
 		git_repo_dir="${SKEIN_GIT_ROOT}/$user"
 		test -d "$git_repo_dir" || continue
 
-		instance_repo_dir="$SKEIN_CGIT_ROOT"/home/$user/repos
+		available_repos="$SKEIN_CGIT_ROOT"/home/$user/repos.avail
 
-		bind_mount "$git_repo_dir" "$instance_repo_dir"
-		chmod 0701 "$instance_repo_dir"
+		bind_mount "$git_repo_dir" "$available_repos"
+		chmod 0701 "$available_repos"
 	done
 }
 
@@ -63,7 +63,7 @@ teardown() {
 	rm "$SKEIN_CGIT_ROOT"/dev/null
 	rmdir "$SKEIN_CGIT_ROOT"/dev
 
-	for i in "$SKEIN_CGIT_ROOT"/home/*/repos; do
+	for i in "$SKEIN_CGIT_ROOT"/home/*/repos.avail; do
 		bind_umount "$i"
 	done
 }
-- 
cgit v1.2.3-2-gb3c3