From a96f5bab3aa5d1003099d1bda2de915a080284f5 Mon Sep 17 00:00:00 2001 From: aptalca Date: Mon, 22 Jun 2020 12:45:34 -0400 Subject: [PATCH] skip header install if already present --- root/etc/cont-init.d/30-config | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/root/etc/cont-init.d/30-config b/root/etc/cont-init.d/30-config index 58eafdc..6d62490 100644 --- a/root/etc/cont-init.d/30-config +++ b/root/etc/cont-init.d/30-config @@ -20,7 +20,7 @@ else fi # install headers if necessary -if [ "$SKIP_COMPILE" != "true" ]; then +if [ "$SKIP_COMPILE" != "true" ] && [ ! -e /lib/modules/$(uname -r)/build ]; then echo "**** Attempting kernel header install ****" apt-get update if apt-cache show linux-headers-$(uname -r) 2&>1 >/dev/null; then