+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 "${public_repos_dir}/${repo_name}" ]; then
+ cd "${public_repos_dir}"
+ git clone https://plomlompom.com/repos/clone/${repo_name}
+ fi
+}
+