3 debian_version="bookworm"
4 legal_system_names="x220 w530"
5 config_tree_prefix="${HOME}/config/${debian_version}"
6 setup_scripts_dir="${config_tree_prefix}/setup_scripts"
7 aptmark_dir="${config_tree_prefix}/apt-mark"
13 if [ "$#" -lt "${min_args}" ]; then
14 echo "Need at least ${1} arguments … ${explainer}"
19 get_system_name_arg() {
21 for system_name_i in $legal_system_names; do
22 if [ "$1" = "$system_name_i" ]; then
24 system_name="${system_name_i}"
28 if [ "$found" = 0 ]; then
29 echo "Need legal system name."