# If DEBUG is set to a non empty value additional debug output is printed.
function source_config() {
# Path to the file to source and its local counterpart.
# If DEBUG is set to a non empty value additional debug output is printed.
function source_config() {
# Path to the file to source and its local counterpart.