From: Christian Heller <c.heller@plomlompom.de>
Date: Mon, 6 May 2019 19:01:47 +0000 (+0200)
Subject: Ensure local clonings of public repos.
X-Git-Url: https://plomlompom.com/repos/%7B%7Bprefix%7D%7D/blog?a=commitdiff_plain;h=203ed9892e81e1df5137930a4b367dd7bf22a64c;p=config

Ensure local clonings of public repos.
---

diff --git a/buster/home_files/user_eeepc/public_repos/repos b/buster/home_files/user_eeepc/public_repos/repos
new file mode 100644
index 0000000..138b841
--- /dev/null
+++ b/buster/home_files/user_eeepc/public_repos/repos
@@ -0,0 +1,6 @@
+config
+pingmail.git
+plomlombot-irc.git
+plomrogue
+plomrogue2-experiments
+plomvi.el
diff --git a/buster/setup_scripts/setup_home_eeepc.sh b/buster/setup_scripts/setup_home_eeepc.sh
index 4e5dbcf..9e902f8 100755
--- a/buster/setup_scripts/setup_home_eeepc.sh
+++ b/buster/setup_scripts/setup_home_eeepc.sh
@@ -4,14 +4,27 @@ set -e
 public_repos_dir="${HOME}/public_repos"
 config_tree_prefix="${public_repos_dir}/config/buster"
 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
+repos_list_file="${public_repos_dir}/repos"
+
+ensure_repo() {
+    repo_name="${1}"
+    if [ ! -d "${HOME}/${public_repos_dir}/${repo_name}" ]; then
+        cd "${public_repos_dir}"
+        git clone https://plomlompom.com/repos/clone/${repo_name}
+    fi
+}
 
 cd
 mkdir -p "${public_repos_dir}"
-if [ ! -d "${HOME}/${public_repos_dir}/config" ]; then
-    cd "${public_repos_dir}"
-    git clone https://plomlompom.com/repos/clone/config
-fi
+ensure_repo config
+#if [ ! -d "${HOME}/${public_repos_dir}/config" ]; then
+#    cd "${public_repos_dir}"
+#    git clone https://plomlompom.com/repos/clone/config
+#fi
 cd "${setup_scripts_dir}"
 ./copy_dirtree.sh "${config_tree_prefix}/home_files" "${HOME}" minimal user_eeepc
+cat "${repos_list_file}" | while read line; do
+    ensure_repo "${line}"
+done
 curl -fsSl https://raw.githubusercontent.com/tridactyl/tridactyl/78e662efefd1f4af2bdb2a53edecf03b535b997b/native/install.sh | bash
 echo "As tridactyl user, don't forget to do :source on the first Firefox run and then re-start."