diff options
| author | Erich Eckner <git@eckner.net> | 2017-06-20 15:00:05 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-06-20 15:00:05 +0200 |
| commit | 536bda6023fc5a6204dd3d8d70231aae9f28ba0d (patch) | |
| tree | ff4b1f36933e9d44a84db077f2d23c97efbc5bb1 /conf | |
| parent | b69310cdb08356f381fe70aa113d17a558156852 (diff) | |
| download | builder-536bda6023fc5a6204dd3d8d70231aae9f28ba0d.tar.xz | |
bin/db-update: use sshfs to move packages between repos
Diffstat (limited to 'conf')
| -rwxr-xr-x | conf/default.conf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/conf/default.conf b/conf/default.conf index e4e3fc4..a43d1f0 100755 --- a/conf/default.conf +++ b/conf/default.conf @@ -31,9 +31,13 @@ max_parallel_build_per_client=2 repo_key='0xdeadbeef' package_key='0x15eebadc0de' +# to access the master mirror via rsync master_mirror_command='rsync --password-file=/home/slave/rsync.password' master_mirror_directory='rsync://buildmaster@mirror.archlinux32.org/packages32' +# to access the master mirror via sshfs (needs to be set up in /etc/fstab) +master_mirror_sshfs='/mnt/archlinux32' + # possibly pull in custom modifications [ -r "${base_dir}/conf/local.conf" ] && . "${base_dir}/conf/local.conf" |