source_if_options_not_sourced.sh

# source options if not already sourced
source_if_options_not_sourced() { 
    if [ -z $options_set ]
    then
        source options.sh
    fi
}