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 get_system_name_arg() {
24 for system_name_i in $legal_system_names; do
25 if [ "$1" = "$system_name_i" ]; then
27 system_name="${system_name_i}"
31 if [ "$found" = 0 ]; then
32 echo "Need legal system name."