diff options
| -rw-r--r-- | src/pro-archman.sh | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/pro-archman.sh b/src/pro-archman.sh index b4524d2..49d6b55 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -37,6 +37,7 @@ base_dir= conf_incoming_channel= conf_incoming_dir= conf_pool_gc_delay= +conf_verbose= lock= # use() must be defined inline so it can be used to load other modules. @@ -151,6 +152,7 @@ get_conf() conf_incoming_channel='dev' conf_incoming_dir='../incoming' conf_pool_gc_delay=86400 + conf_verbose=false if [ -f "${base_dir}/conf" ]; then . "${base_dir}/conf" @@ -163,6 +165,11 @@ get_conf() fi cd "${old_dir}" + case "${conf_verbose}" in + 'false' | '0' | 'off' | 'no') conf_verbose=false;; + *) conf_verbose=true;; + esac + return 0 } |