diff options
author | Holger Levsen <holger@layer-acht.org> | 2017-06-02 02:10:05 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-06-02 02:10:05 +0200 |
commit | f43ab38fdd11c0154aa18220e0567856025bddcb (patch) | |
tree | 052cebdbcfeb8d8f0b09e0eac5bd204f385c7ebe | |
parent | 504ee711387d891ae1322b7452ef6572b3fa7686 (diff) | |
download | jenkins.debian.net-f43ab38fdd11c0154aa18220e0567856025bddcb.tar.xz |
reproducible Debian: be more verbose
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-x | init_node | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -25,18 +25,19 @@ echo echo -n "$(date) - " set -e export LANG=C +set -x sudo addgroup --system jenkins sudo adduser --system --shell /bin/bash --home /var/lib/jenkins --ingroup jenkins --disabled-login jenkins sudo addgroup --system jenkins-adm sudo adduser --system --shell /bin/bash --home /home/jenkins-adm --ingroup jenkins-adm --disabled-login jenkins-adm sudo usermod -G jenkins jenkins-adm -sudo mkdir /home/jenkins-adm sudo chown jenkins-adm.jenkins-adm /home/jenkins-adm cd ~jenkins-adm [ -x /usr/bin/git ] || sudo apt-get install -y git sudo -u jenkins-adm git clone $GIT_REPO cd jenkins.debian.net sudo mkdir -p /var/log/jenkins/ +set +x ./update_jdn.sh 2>&1 | sudo tee -a /var/log/jenkins/update_jdn.log END=$(date +'%s') |