diff options
author | Erich Eckner <git@eckner.net> | 2018-01-17 21:25:13 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-17 21:25:13 +0100 |
commit | 5fb9f8ad7843e087c974cc1af291b4f494824462 (patch) | |
tree | 73cdc7707602de3714c7a5cc2b6fc51642babbb6 /conf | |
parent | 041139bd471096ddc6be8c8b80c0f5619238dc7a (diff) | |
download | builder-5fb9f8ad7843e087c974cc1af291b4f494824462.tar.xz |
trigger_mirror_refreshs new to signal mirror changes and trigger updates of tier 1 mirrors
Diffstat (limited to 'conf')
-rwxr-xr-x | conf/default.conf | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/conf/default.conf b/conf/default.conf index 1d15660..69e15ad 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -101,9 +101,13 @@ irc_dir='/home/slave/irc/irc.freenode.net' irc_password='top_secret' # commands to run to update the i686 package mirror used for installing i686 packages, -# e.g. the one from /etc/pacman.d/mirrorlist32 +# e.g. the one from /etc/pacman.d/mirrorlist32 (useful on build slaves which do not +# have the master mirror in the mirrorlist32) mirror_update_command='' +# list of urls to trigger updates of the respective mirrors (used on build master only) +mirror_refresh_trigger_urls='' + # possibly pull in custom modifications # shellcheck source=/dev/null |