diff options
author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-05-10 09:37:53 +0300 |
---|---|---|
committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-05-10 09:37:53 +0300 |
commit | 70d179c2653f00a5e1e7b78ba2635fd36f87e25e (patch) | |
tree | 65243e38a9907bd1f788e69b865291bd4038a79a /utils/diskspace | |
parent | d3864c2c0622f6b1ad1a65535754fd727fec52d6 (diff) |
With new partition layout, we now have 2Gb static Jenkins system partition.
So, check for 1Gb free. We apparently still need to monitor system partition,
because if it somehow overflow, we get zombie build slaves, and that's
what we want to avoid. But we apparently need to also monitor actual job
partition too. Job for a more full-featured monitoring system?
Diffstat (limited to 'utils/diskspace')
-rwxr-xr-x | utils/diskspace/watch-space | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/diskspace/watch-space b/utils/diskspace/watch-space index e5f2693..afec5ca 100755 --- a/utils/diskspace/watch-space +++ b/utils/diskspace/watch-space @@ -1,2 +1,2 @@ #!/bin/sh -df | awk '$6=="/mnt2" {if ($4 < 10000000) print "Less than 10Gb left in JENKINS_HOME: " $4 "Kb"}' +df | awk '$6=="/mnt2" {if ($4 < 1000000) print "Less than 1Gb left in JENKINS_HOME: " $4 "Kb"}' |