diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-08 16:50:11 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-08 16:50:11 +0100 |
| commit | 4d04a25b6c3054499f7fcbe774f0af39feb30654 (patch) | |
| tree | 55c6e4d432e8149b89c4815ba75fdf42207e6b0a /etc/cron.daily/jenkins | |
| parent | 5effc4fbf8cce09c73255f0524ace9ec6650e031 (diff) | |
| download | jenkins.debian.net-4d04a25b6c3054499f7fcbe774f0af39feb30654.tar.xz | |
REMOTE_HOST seems to be tricky, so 'properly' work around it...
Diffstat (limited to 'etc/cron.daily/jenkins')
| -rw-r--r-- | etc/cron.daily/jenkins | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/etc/cron.daily/jenkins b/etc/cron.daily/jenkins new file mode 100644 index 00000000..8100995e --- /dev/null +++ b/etc/cron.daily/jenkins @@ -0,0 +1,9 @@ +#!/bin/sh + +# maybe I'm too stupid to use apaches REMOTE_HOST directive correctly +# I couldn't get it to work. so I use REMOTE_ADDR... +# see etc/apache2/sites-available/jenkins.debian.net + +if [ "$(host git.debian.org)" != "git.debian.org has address 217.196.43.140" ] ; then + echo "IP address of git.debian.org has changed, please update etc/apache2/sites-available/jenkins.debian.net and etc/cron.daily/jenkins" +fi |