config_tree_prefix="${HOME}/public_repos/config/${debian_version}"
if [ ! -d "${config_tree_prefix}" ]; then
config_tree_prefix="${HOME}/config/${debian_version}"
config_tree_prefix="${HOME}/public_repos/config/${debian_version}"
if [ ! -d "${config_tree_prefix}" ]; then
config_tree_prefix="${HOME}/config/${debian_version}"