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 set -e
   7
   8 umask 002
   9
  10 cd /org/bugs.debian.org
  11
  12 [ $(( $(date +%s) - $(stat -c %Y /org/bugs.debian.org/log/mirrors.log) )) -gt 800 ] || exit 0;
  13
  14 exec >>log/mirrors.log 2>&1
  15
  16 signal () {
  17   if [ $# = 2 ]; then
  18     echo Signalling $1: $2@$1 > log/$1.log
  19     key="$HOME/.ssh/bts-mirror"
  20     ssh -i "$key" -o"user $2" "$1" sleep 1 &
  21   fi
  22 }
  23
  24 date
  25
  26 signal merkel debbugs