diff options
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 14 | ||||
| -rw-r--r-- | logparse/reproducible.rules | 2 |
2 files changed, 15 insertions, 1 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh index 12a5f218..ea4266dd 100755 --- a/bin/reproducible_node_health_check.sh +++ b/bin/reproducible_node_health_check.sh @@ -101,6 +101,20 @@ else fi # +# check for cleaned up kernels +# (on Ubuntu systems only, as those have free spaces issues on /boot frequently) +# +if [ "$(lsb_release -si)" = "Ubuntu" ] ; then + echo "$(date -u) - testing whether only one kernel is installed..." + if [ "$(ls /boot/vmlinuz-*|wc -l)" != "1" ] ; then + echo "Warning, more than one kernel in /boot:" + ls -lart /boot/vmlinuz-* + df -h /boot + DIRTY=true + fi +fi + +# # finally # if ! $DIRTY ; then diff --git a/logparse/reproducible.rules b/logparse/reproducible.rules index cba99551..39faf2e1 100644 --- a/logparse/reproducible.rules +++ b/logparse/reproducible.rules @@ -23,5 +23,5 @@ warning /W: There is no public key available for the following key IDs:.+/ warning /Warning: /.../shm.+please tell the jenkins admins to fix this./ warning /Warning, today is the wrong future:.+/ warning /Warning: curl http:..www.debian.org failed, probably the proxy is down for.+/ - +warning /Warning, more than one kernel in.+/ |