Clone into home dir repos via ssh instead of http.

diff --git a/buster/setup_scripts/setup_home.sh b/buster/setup_scripts/setup_home.sh
index 4a9303dcbc7ffc82a19e562441713466526e0882..b02ef6d17631854814cfa7c6e09e525fb3737f4b 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 https://plomlompom.com/repos/clone/${repo_name}
+        git clone plom@plomlompom.com:/var/public_repos/${repo_name}
     fi
 }