From de4abb5fa84b21cdc48c78fe60efa013fc81fddc Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 10 Dec 2012 11:12:59 +0100 Subject: configure git for jenkins once --- update_jdn.sh | 9 +++++---- 1 file 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 -- cgit v1.2.3-70-g09d2