summaryrefslogtreecommitdiffstats
path: root/etc
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2012-11-10 01:03:22 +0100
committerHolger Levsen <holger@layer-acht.org>2012-11-10 01:03:22 +0100
commit869fb119a0c0068e96b16a3eec89683aba607edc (patch)
treeac1bea657262537bedddbc6aaa8b8542c9c5f5ad /etc
parent1fa35776e4e326bfd148ebe77ca90ace07c1f51b (diff)
downloadjenkins.debian.net-869fb119a0c0068e96b16a3eec89683aba607edc.tar.xz
ignore case
Diffstat (limited to 'etc')
-rwxr-xr-xetc/munin/plugins/jenkins_builds2
-rwxr-xr-xetc/munin/plugins/jenkins_builds_results2
-rwxr-xr-xetc/munin/plugins/jenkins_jobs2
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'