diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/runmirrors.conf | 8 | ||||
| -rw-r--r-- | etc/runmirrors.mirror | 17 |
2 files changed, 25 insertions, 0 deletions
diff --git a/etc/runmirrors.conf b/etc/runmirrors.conf new file mode 100644 index 0000000..da7404d --- /dev/null +++ b/etc/runmirrors.conf @@ -0,0 +1,8 @@ +HOME=~archvsync +LOGNAME="archvsync" +USER="archvsync" +MAIL= +PATH="/bin:/usr/bin:$HOME" +HOOKSCRIPT= +KEYFILE=${HOME}/.ssh/pushmirror +LOG=${HOME}/log/ diff --git a/etc/runmirrors.mirror b/etc/runmirrors.mirror new file mode 100644 index 0000000..7fa7a38 --- /dev/null +++ b/etc/runmirrors.mirror @@ -0,0 +1,17 @@ +# Definition of mirror hosts we push. +# One mirror per line, with the following fields defined. +# +# ShortName HostName User SSHProtocol SSHKeyFile +# +# 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! +# +# Example: +# 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. + |