1 # Shell functions useful to all shells.
4 # Helper function to print debug information if $DEBUG is not empty.
6 # Doesn't fit perfectly in this file, but this is the best place to make it
7 # available everywhere.
9 if [ x$DEBUG != x ]; then
14 # Source $1 if it exists. And $1.local if it exists as well.
16 source_debug "source_config(): $1"
23 if [ -f $1.local ]; then
24 source_debug ". $1.local"