summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-06-04 23:10:20 +0200
committerHolger Levsen <holger@layer-acht.org>2015-06-04 23:10:20 +0200
commita2e3ba1aabe532cd87f5334dbc4751dfb90b3872 (patch)
tree06d11c4c64cae56fda364a573fe5023379f2aaab
parent2c974931a731d27fed5ca4a540e2e6b38cb1361b (diff)
downloadjenkins.debian.net-a2e3ba1aabe532cd87f5334dbc4751dfb90b3872.tar.xz
fixup THANKS page
-rwxr-xr-xupdate_jdn.sh3
1 files changed, 2 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh
index 40e2f0e6..d541277f 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -243,8 +243,9 @@ cp -pr README INSTALL TODO CONTRIBUTING d-i-preseed-cfgs /var/lib/jenkins/userCo
TMPFILE=$(mktemp)
git log | grep ^Author| cut -d " " -f2-|sort -u > $TMPFILE
echo "----" >> $TMPFILE
+cat THANKS.head > /var/lib/jenkins/userContent/THANKS
# samuel and lunar committed with several commiters, only display one
-grep -v "samuel.thibault@ens-lyon.org" THANKS.head | grep -v Lunar > $TMPFILE > /var/lib/jenkins/userContent/THANKS
+grep -v "samuel.thibault@ens-lyon.org" $TMPFILE | grep -v Lunar >> /var/lib/jenkins/userContent/THANKS
rm $TMPFILE
cp -pr userContent /var/lib/jenkins/
cd /var/lib/jenkins/userContent/