diff options
author | Erich Eckner <git@eckner.net> | 2020-01-30 10:24:36 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2020-01-30 10:24:36 +0100 |
commit | 132f43c70bd30ae73b03c68b562b7be8d6e2954d (patch) | |
tree | 6b4e4c44f53c9e200f23168350517089add768f1 /conf | |
parent | 491ea7b73d20a2c43a96b8716c0f5335ee27289e (diff) | |
download | builder-132f43c70bd30ae73b03c68b562b7be8d6e2954d.tar.xz |
lib/load-configuration: set up intentions_directory
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/master.conf.example | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/conf/master.conf.example b/conf/master.conf.example index 130444e..f2a3bcf 100755 --- a/conf/master.conf.example +++ b/conf/master.conf.example @@ -24,6 +24,9 @@ # directory to keep the build log files in #build_log_directory='/srv/http/build-logs' +# directory to store the intentions queue in +#intentions_directory="${work_dir}/intentions" + # irc client configuration #irc_dir='/home/master/irc/irc.freenode.net' #irc_password='top_secret' |