]> git.donarmstrong.com Git - debbugs.git/blob - examples/debian/postpa/10mirrors
increase freqency to 400, disable mirror to piatti for the time being
[debbugs.git] / examples / debian / postpa / 10mirrors
1 #! /bin/sh
2
3 # This script signals merkel.debian.org to mirror debbugs at most once
4 # every 800 seconds
5
6 # changing this to 400 seconds
7
8 set -e
9
10 umask 002
11
12 cd /org/bugs.debian.org
13
14 [ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 400 ] || exit 0;
15
16 exec >>log/mirrors.log 2>&1
17
18 signal () {
19   if [ $# = 2 ]; then
20     echo Signalling $1: $2@$1 > log/$1.log
21     key="$HOME/.ssh/bts-mirror"
22     ssh -i "$key" -o"user $2" "$1" sleep 1 &
23   fi
24 }
25
26 date
27
28 signal merkel debbugs
29 # disabled weasel, 20081202
30 #signal piatti debbugs