From: Christian Heller <c.heller@plomlompom.de>
Date: Sun, 11 Aug 2019 18:36:11 +0000 (+0200)
Subject: Clone into home dir repos via ssh instead of http.
X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/%7B%7Bdb.prefix%7D%7D/%7B%7Bprefix%7D%7D/task?a=commitdiff_plain;h=d781128ab64a3247b66313120d05ab4eef4a4059;p=config

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 4a9303d..b02ef6d 100755
--- 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
 }