diff options
| author | Erich Eckner <git@eckner.net> | 2017-09-13 11:51:30 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-09-13 11:51:30 +0200 |
| commit | 6dc42ff6e8f0b52aa0ed7b5e4d18e39dfcca1ce1 (patch) | |
| tree | 0efd8273fb2310b5ddcb9a9fd50677570ce9a84e /conf | |
| parent | 5e30d7046ec0b7ca39bb368331d49001bc6003cb (diff) | |
| download | builder-6dc42ff6e8f0b52aa0ed7b5e4d18e39dfcca1ce1.tar.xz | |
bin/interpret-mail: log errors and infos
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index 808f76c..63b14f1 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -35,6 +35,9 @@ package_key='0x15eebadc0de' # what can be done via the email interface possible_email_actions='stabilize block unblock' +# how many lines of email logs should be kept maximally +max_mail_log_lines=100 + # who can do above actions if [ -s "${base_dir}/conf/admin-gpg-keys" ]; then admin_gpg_keys=$( |