Update repos path.

[config] / buster / setup_scripts / setup_home.sh

diff --git a/buster/setup_scripts/setup_home.sh b/buster/setup_scripts/setup_home.sh
index 4bd06efa8e300e518544ab891a375618002fd8d1..61c235ebdfc56ef768b7e7d173b18fbc616cdad7 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 plom@plomlompom.com:/var/public_repos/${repo_name}
+        git clone plom@plomlompom.com:/var/repos/${repo_name}
     fi
 }
 
@@ -52,7 +52,8 @@ cd "${setup_scripts_dir}"
 ./copy_dirtree.sh "${config_tree_buster}/home_files" "${HOME}" minimal user "${system_name}"
 
 # Set up native messenger for tridactyl.
-curl -fsSl https://raw.githubusercontent.com/tridactyl/tridactyl/78e662efefd1f4af2bdb2a53edecf03b535b997b/native/install.sh | bash
+version='ef9f02d0da258f68d7faf8898707f6d83d90d07a'
+curl -fsSl "https://raw.githubusercontent.com/tridactyl/tridactyl/${version}/native/install.sh" | bash
 
 # Set up further non-public parts of infrastructure.
 cd "${dir_secrets}"