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 e6abd78b07e52049759a23d12357b64d0d9831d8..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}"
@@ -98,4 +99,4 @@ if [ -f "${HOME}/${authinfo_file}" ]; then
 fi
 
 # Final note on how to integrate tridactyl.
-echo "TODO: As tridactyl user, don't forget to do :source on the first Firefox run and then re-start."
+echo "TODO: As tridactyl user, don't forget to do :source on the first Firefox run, wait a little while (Tridactyl needs to walk through all commands in the .tridactylrc) and then re-start."