| 1 | # Definition of mirror hosts we push. |
| 2 | # One mirror per line, with the following fields defined. |
| 3 | # |
| 4 | # ShortName HostName User SSHProtocol SSHKeyFile |
| 5 | # |
| 6 | # ShortName will be used as a shorthand in logfile outputs and for the logfile |
| 7 | # where every ssh output gets redirected to. |
| 8 | # |
| 9 | # If no SSHKeyFile is given, the default from the config file applies. |
| 10 | # If SSHProtocol is empty, it will default to 2, but if you want to |
| 11 | # define a keyfile you HAVE TO set protocol too! |
| 12 | # |
| 13 | # Examples: |
| 14 | # |
| 15 | # piatti piatti.debian.org archvsync |
| 16 | # One special value is allowed: DELAY |
| 17 | # This word has to be on a line itself, followed by a space and a number. |
| 18 | # nothing else, not even whitespace. It will trigger a pause of $number |
| 19 | # seconds between the two mirrors. If no number is given it defaults to |
| 20 | # 60 seconds. |
| 21 | piatti piatti.debian.org archvsync |