diff options
| author | Holger Levsen <holger@layer-acht.org> | 2016-01-05 22:28:53 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2016-01-05 22:28:53 +0100 |
| commit | d7660a292ded8dec37bdb9642c9479d5eba2d9b1 (patch) | |
| tree | 8d0fcd3e1fa7a1dd4c1382a978fbac24c6d8cb1a /update_jdn.sh | |
| parent | bb73104695c6e87cfacb89b7e9c91c5bacbbe601 (diff) | |
| download | jenkins.debian.net-d7660a292ded8dec37bdb9642c9479d5eba2d9b1.tar.xz | |
ignore case when sorting list of contributors
Diffstat (limited to 'update_jdn.sh')
| -rwxr-xr-x | update_jdn.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_jdn.sh b/update_jdn.sh index f6e323a9..e7dff64c 100755 --- a/update_jdn.sh +++ b/update_jdn.sh @@ -421,7 +421,7 @@ explain "scripts and configurations for jenkins updated." if [ "$HOSTNAME" = "jenkins" ] ; then sudo cp -pr README INSTALL TODO CONTRIBUTING d-i-preseed-cfgs /var/lib/jenkins/userContent/ - git log | grep ^Author| cut -d " " -f2-|sort -u > $TMPFILE + git log | grep ^Author| cut -d " " -f2-|sort -u -f > $TMPFILE echo "----" >> $TMPFILE sudo tee /var/lib/jenkins/userContent/THANKS > /dev/null < THANKS.head # samuel, lunar and josch committed with several commiters, only display one |