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 /bin | |
| 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>
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/reproducible_node_health_check.sh | 14 |
1 files changed, 14 insertions, 0 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 |