###############################
die () {
- fill_text 0 "ERROR: $*" >&2
- exit 1
+ if [ "$no_sanity" = 1 ] ; then
+ fill_text 0 "WARNING: $*" >&2
+ else
+ fill_text 0 "ERROR: $*" >&2
+ exit 1
+ fi
}
###############################
case "$1" in
# force at least ./local_file to avoid accidental file from $PATH
-c) . "$(dirname $2)/$(basename $2)" ; shift 2 ;;
- -e) run_hooks post_config_hooks ; eval "$2" ; exit ;;
+ -e) no_sanity=1 ; run_hooks post_config_hooks ; eval "$2" ; exit ;;
-E) eval "$2" ; shift 2 ;;
-x) set -x; shift ;;
- --dump) run_hooks post_config_hooks ; dump_config ;;
+ --dump) no_sanity=1 ; run_hooks post_config_hooks ; dump_config ;;
--) shift ; break ;;
-h|--help) usage ;; # Redundant.
--*)