diff options
Diffstat (limited to 'hosts')
6 files changed, 12 insertions, 12 deletions
diff --git a/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/bpi0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done diff --git a/hosts/cbxi4pro0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/cbxi4pro0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/cbxi4pro0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/cbxi4pro0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done diff --git a/hosts/hb0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/hb0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/hb0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/hb0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done diff --git a/hosts/profitbricks-build1-amd64/etc/munin/plugins/jenkins_reproducible_builds b/hosts/profitbricks-build1-amd64/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/profitbricks-build1-amd64/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/profitbricks-build1-amd64/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done diff --git a/hosts/profitbricks-build2-amd64/etc/munin/plugins/jenkins_reproducible_builds b/hosts/profitbricks-build2-amd64/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/profitbricks-build2-amd64/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/profitbricks-build2-amd64/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done diff --git a/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds b/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds index f59969b0..238e4304 100755 --- a/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds +++ b/hosts/wbq0-armhf-rb/etc/munin/plugins/jenkins_reproducible_builds @@ -48,9 +48,9 @@ fi for PREFIX in $JOB_PREFIXES ; do if [ "$PREFIX" = "first" ] ; then - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 1") else - NR=$(ps fax | grep -v grep | grep -c "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") + NR=$(pgrep -fc "bin/bash /srv/jenkins/bin/reproducible_build.sh 2") fi echo "jenkins_reproducible_${PREFIX}_build.value $NR" done |