chiark / gitweb /
Remove useless use of cat causing pipefail problems
[modbot-mtm.git] / get-settings
index f9b3d6f07e54450f4e3dad9a5ba502804c413620..5c71c460d44f6ad1a8fbaa54e71ca5446b34f626 100644 (file)
@@ -4,8 +4,11 @@ paskeys='KEYSUBMIT KEYSTUMP2WEB KEYWEB2STUMP'
 pas="$paskeys"
 for k in $pas; do eval "$k=''"; export $k; done
 
+DIVERTPOSTINGS=''
+
 . settings
 export GROUP ABBREV INFOHEADER MODEMAIL GROUPURL REJECTIONSLIST
+export DIVERTPOSTINGS
 
 . ../global-settings
 export ROOTBASEDIR CGIBASEURL DOMAIN SLIMYDOMAIN OURUSER ADMIN
@@ -18,6 +21,13 @@ export BASEDIR
 
 # derivative settings:
 
+PUBREJOPT=''
+if $PUBLISHREJECTIONS; then
+       PUBREJOPT=-P
+fi
+export PUBREJOPT
+
+
 test -f persistent-autosettings || touch persistent-autosettings
 . persistent-autosettings