Update repos path.

diff --git a/buster/setup_scripts/setup_home.sh b/buster/setup_scripts/setup_home.sh
index 779bb4c3c6153ecff5bb088c78005d2ae29c6225..61c235ebdfc56ef768b7e7d173b18fbc616cdad7 100755 (executable)
--- a/buster/setup_scripts/setup_home.sh
+++ b/buster/setup_scripts/setup_home.sh
@@ -28,7 +28,7 @@ ensure_repo() {
     repo_name="${1}"
     if [ ! -d "${public_repos_dir}/${repo_name}" ]; then
         cd "${public_repos_dir}"
-        git clone plom@plomlompom.com:/var/public_repos/${repo_name}
+        git clone plom@plomlompom.com:/var/repos/${repo_name}
     fi
 }