diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-04-18 10:25:01 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-04-18 10:25:01 +0200 |
| commit | d554917ea1d452077297ae20a8af1dd2fb79bcd5 (patch) | |
| tree | 1cf52c3891c1a0e4b68be4970877019b853b3cad /etc | |
| parent | 51e5cf157e997d0048e383f17e419ac7c0568853 (diff) | |
| download | jenkins.debian.net-d554917ea1d452077297ae20a8af1dd2fb79bcd5.tar.xz | |
be quiet on default
Diffstat (limited to 'etc')
| -rwxr-xr-x | etc/cron.daily/jenkins | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/etc/cron.daily/jenkins b/etc/cron.daily/jenkins index 8dd3a56d..47e52f9b 100755 --- a/etc/cron.daily/jenkins +++ b/etc/cron.daily/jenkins @@ -1,9 +1,8 @@ #!/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 +# this is needed as this IP address has to be hardcoded in /etc/apache2/sites-available/jenkins.debian.net -if [ "$(host git.debian.org)" != "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" +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 |