summaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2017-06-15 13:34:37 +0200
committerHolger Levsen <holger@layer-acht.org>2017-06-15 13:34:37 +0200
commit958558e0a0753b7f99ceedc632b635a29a6eae7a (patch)
treef78783f7e56453b2d83cb2aa4c0a33ab1b636678 /bin
parent33d2e811887e31ef3bac01f6a498a67db60a8d77 (diff)
downloadjenkins.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-xbin/reproducible_node_health_check.sh14
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