#!/bin/sh
set -e
debian_version="bookworm"
-legal_system_names="x220 w530"
+legal_system_names="x220 w530 h610m"
config_tree_prefix="${HOME}/public_repos/config/${debian_version}"
if [ ! -d "${config_tree_prefix}" ]; then
config_tree_prefix="${HOME}/config/${debian_version}"
fi
}
+expect_setup_finished_file() {
+ filename="$1"
+ setup_script="$2"
+ if [ ! -f "${HOME}/${filename}" ]; then
+ echo "First need to run ${setup_script}."
+ false
+ fi
+}
+
get_system_name_arg() {
found=0
for system_name_i in $legal_system_names; do