diff options
| -rw-r--r-- | src/pro-archman.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/pro-archman.sh b/src/pro-archman.sh index 0725ffd..0cd34e9 100644 --- a/src/pro-archman.sh +++ b/src/pro-archman.sh @@ -38,6 +38,7 @@ conf_incoming_channel= conf_incoming_dir= conf_pool_gc_delay= conf_verbose= +conf_gzip= lock= exit_status= @@ -175,6 +176,7 @@ get_conf() conf_incoming_dir='../incoming' conf_pool_gc_delay=86400 conf_verbose=false + conf_gzip=true if [ -f "${base_dir}/conf" ]; then . "${base_dir}/conf" |