diff options
| author | Holger Levsen <holger@layer-acht.org> | 2012-12-10 11:12:59 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2012-12-10 11:12:59 +0100 |
| commit | de4abb5fa84b21cdc48c78fe60efa013fc81fddc (patch) | |
| tree | 5e96648b6bc80721185b56b61f69561a3f52535a | |
| parent | 6063c3118c34c24af7f15e602d0e2bcca069e60f (diff) | |
| download | jenkins.debian.net-de4abb5fa84b21cdc48c78fe60efa013fc81fddc.tar.xz | |
configure git for jenkins once
| -rwxr-xr-x | update_jdn.sh | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index 6f688bf6..3b4c7ecc 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -94,11 +94,12 @@ if [ "$DEFINED_TRIGGERS" != "$CONFIGURED_TRIGGERS" ] ; then fi # -# FIXME: this should also only be run once +# configure git for jenkins # -sudo su - jenkins -c "git config --global user.email jenkins@jenkins.debian.net" -sudo su - jenkins -c "git config --global user.name Jenkins" - +if [ "$(sudo su - jenkins -c 'git config --get user.email')" != "jenkins@jenkins.debian.net" ] ; then + sudo su - jenkins -c "git config --global user.email jenkins@jenkins.debian.net" + sudo su - jenkins -c "git config --global user.name Jenkins" +fi # # FIXME: file a bug against pbuilder # else you have http://jenkins.debian.net/view/debian-installer/job/d-i_build_partman-ext3/4/console |