Add x220 to desktop setup.

[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..24f4c672214f214293a85864bf3caefe19f47e0a 100755 (executable)
--- a/buster/setup_scripts/setup_home.sh
+++ b/buster/setup_scripts/setup_home.sh
@@ -5,7 +5,7 @@ if [ "$#" -ne 1 ]; then
     echo 'Need exactly one argument (system name).'
     false
 fi
-if [ ! "$1" = "eeepc" ] && [ ! "$1" = "x200s" ]; then
+if [ ! "$1" = "eeepc" ] && [ ! "$1" = "x200s" ]&& [ ! "$1" = "x220" ]; then
     echo "Need legal system name."
     false
 fi
@@ -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."