#!/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}"