diff options
author | Holger Levsen <holger@layer-acht.org> | 2012-11-10 01:03:22 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2012-11-10 01:03:22 +0100 |
commit | 869fb119a0c0068e96b16a3eec89683aba607edc (patch) | |
tree | ac1bea657262537bedddbc6aaa8b8542c9c5f5ad /etc | |
parent | 1fa35776e4e326bfd148ebe77ca90ace07c1f51b (diff) | |
download | jenkins.debian.net-869fb119a0c0068e96b16a3eec89683aba607edc.tar.xz |
ignore case
Diffstat (limited to 'etc')
-rwxr-xr-x | etc/munin/plugins/jenkins_builds | 2 | ||||
-rwxr-xr-x | etc/munin/plugins/jenkins_builds_results | 2 | ||||
-rwxr-xr-x | etc/munin/plugins/jenkins_jobs | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/etc/munin/plugins/jenkins_builds b/etc/munin/plugins/jenkins_builds index c2d0fea6..dc2825c9 100755 --- a/etc/munin/plugins/jenkins_builds +++ b/etc/munin/plugins/jenkins_builds @@ -29,7 +29,7 @@ if [ "$1" = "autoconf" ]; then exit 0 fi -JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -u) +JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -f -u) if [ "$1" = "config" ]; then echo 'graph_title Jenkins Builds in the last 24h' diff --git a/etc/munin/plugins/jenkins_builds_results b/etc/munin/plugins/jenkins_builds_results index f202f388..82b8ff73 100755 --- a/etc/munin/plugins/jenkins_builds_results +++ b/etc/munin/plugins/jenkins_builds_results @@ -29,7 +29,7 @@ if [ "$1" = "autoconf" ]; then exit 0 fi -JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -u) +JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -f -u) if [ "$1" = "config" ]; then echo 'graph_title Jenkins Build results' diff --git a/etc/munin/plugins/jenkins_jobs b/etc/munin/plugins/jenkins_jobs index 6d2619c2..46122e74 100755 --- a/etc/munin/plugins/jenkins_jobs +++ b/etc/munin/plugins/jenkins_jobs @@ -29,7 +29,7 @@ if [ "$1" = "autoconf" ]; then exit 0 fi -JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -u) +JOB_PREFIXES=$(ls -1 /var/lib/jenkins/jobs/|cut -d "_" -f1|sort -f -u) if [ "$1" = "config" ]; then echo 'graph_title Jenkins Jobs' |