diff options
author | Joerg Jaspert <joerg@debian.org> | 2008-09-27 16:49:49 +0200 |
---|---|---|
committer | Joerg Jaspert <joerg@debian.org> | 2008-09-27 16:49:49 +0200 |
commit | 089f3fa85ae2d128b5e5b190ee6c99d0b9ca499a (patch) | |
tree | 2e9ef334d43af7566945ff6ffdb50c107d4282a0 /etc | |
parent | 83c5a8c6a5b21081a9d665817342edee53fc10b9 (diff) |
runmirrors
add a script to push leaf mirrors
Signed-off-by: Joerg Jaspert <joerg@debian.org>
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. + |