Module settings 

Functions

ensure_user_config_file_exists

get_default_user_config

get_devalang_homedir

get_home_dir

get_user_config

set_user_config_value

write_config_atomic

write_user_config_file