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 (file)
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 4e5dbcf701ead735c09a2eaa347ee4aa420af1fa..9e902f890942189b33d117d75b3fb74210dd114c 100755 (executable)
--- 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."