diff options
| author | Holger Levsen <holger@layer-acht.org> | 2017-06-15 13:34:37 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2017-06-15 13:34:37 +0200 |
| commit | 958558e0a0753b7f99ceedc632b635a29a6eae7a (patch) | |
| tree | f78783f7e56453b2d83cb2aa4c0a33ab1b636678 | |
| parent | 33d2e811887e31ef3bac01f6a498a67db60a8d77 (diff) | |
| download | jenkins.debian.net-958558e0a0753b7f99ceedc632b635a29a6eae7a.tar.xz | |
reproducible Debian: add check for more than one kernel installed (only on Ubuntu systems)
Signed-off-by: Holger Levsen <holger@layer-acht.org>
| -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.+/ |