3 debian_version="bookworm"
4 legal_system_names="x220 w530"
5 config_tree_prefix="${HOME}/public_repos/config/${debian_version}"
6 if [ ! -d "${config_tree_prefix}" ]; then
7 config_tree_prefix="${HOME}/config/${debian_version}"
9 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
10 aptmark_dir="${config_tree_prefix}/apt-mark"
16 if [ "$#" -lt "${min_args}" ]; then
17 echo "Need at least ${1} arguments … ${explainer}"
22 expect_setup_finished_file() {
25 if [ ! -f "${HOME}/${filename}" ]; then
26 echo "First need to run ${setup_script}."
31 get_system_name_arg() {
33 for system_name_i in $legal_system_names; do
34 if [ "$1" = "$system_name_i" ]; then
36 system_name="${system_name_i}"
40 if [ "$found" = 0 ]; then
41 echo "Need legal system name."