blob: e529376873ad8f4fdd683882b11345f7bb871109 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
# Definition of mirror hosts we push.
# One mirror per line, with the following fields defined.
#
# Type ShortName HostName User SSHProtocol SSHKeyFile
#
# Type is either all or staged, meaning:
# all - do a "normal" push. Trigger them, go on.
# staged - do a two-stage push, waiting for them after stage 2(and all others that
# are staged) before doing stage2
#
# ShortName will be used as a shorthand in logfile outputs and for the logfile
# where every ssh output gets redirected to.
#
# If no SSHKeyFile is given, the default from the config file applies.
# If SSHProtocol is empty, it will default to 2, but if you want to
# define a keyfile you HAVE TO set protocol too!
#
# Examples:
# all eu.puccini puccini.debian.org archvsync 2 ~/.ssh/push_puccini
#
# will push puccini.debian.org, user archvsync, using ssh protocol 2 and the specified ssh key.
#
# staged eu.puccini puccini.debian.org
# staged eu.powell powell.debian.org
#
# will push both puccini and powell in stage1, waiting for both to
# finish stage1 before stage2 gets pushed.
#
# One special value is allowed: DELAY
# This word has to be on a line itself, nothing else, not even
# whitespace. It will trigger a pause of $DELAY seconds between the two
# mirrors. Per default DELAY is set to 60.
|
