From 315ead533e3d4e67ce3908a13ebe5b75ef9060c4 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 27 Jul 2015 14:31:57 +0200 Subject: move etc to hosts/jenkins/etc --- hosts/jenkins/etc/cron.daily/jenkins | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 hosts/jenkins/etc/cron.daily/jenkins (limited to 'hosts/jenkins/etc/cron.daily') diff --git a/hosts/jenkins/etc/cron.daily/jenkins b/hosts/jenkins/etc/cron.daily/jenkins new file mode 100755 index 00000000..47e52f9b --- /dev/null +++ b/hosts/jenkins/etc/cron.daily/jenkins @@ -0,0 +1,8 @@ +#!/bin/sh + +# this is needed as this IP address has to be hardcoded in /etc/apache2/sites-available/jenkins.debian.net + +if [ "$(host git.debian.org|head -1)" != "git.debian.org has address 5.153.231.21" ] ; then + echo "IP address of git.debian.org has changed, please update etc/apache2/sites-available/jenkins.debian.net and etc/cron.daily/jenkins in jenkins.debian.net.git" + host git.debian.org +fi -- cgit v1.2.3-70-g09d2