From 82b4eb7050576bb4075ac3317948fa67807da1b3 Mon Sep 17 00:00:00 2001 From: Ohio2 Date: Fri, 2 Jul 2021 03:04:59 +0200 Subject: [PATCH] linux headers pick --- linux-headers/PACKAGE | 15 ++++++++++++--- 1 file changed, 12 insertions(+), 3 deletions(-) diff --git a/linux-headers/PACKAGE b/linux-headers/PACKAGE index 329e147..a3fafc3 100644 --- a/linux-headers/PACKAGE +++ b/linux-headers/PACKAGE @@ -16,9 +16,18 @@ pkg_install(){ cd "${prefix}"/usr/src/linux-kernel make mrproper make headers - find ${prefix}/usr/include -name '.*' -delete - rm ${prefix}/usr/include/Makefile - cp -rv ${prefix}/usr/include $LFS/usr + find "${prefix}"/usr/include -name '.*' -delete + rm "${prefix}"/usr/include/Makefile + cp -rv "${prefix}"/usr/include $LFS/usr + else + read -p "No linux kernel found, do you want to install it?" -n 1 -r + echo "" + if [[ $response =~ ^[Yy]$ ]] + then + "${prefix}"/bin/spkg install linux-kernel + elif [[ $response =~ ^[Nn]$ ]] + exit 2 + fi fi }