From 71c0395f6276e28e5edddf89a58d637b45a57d56 Mon Sep 17 00:00:00 2001 From: Mikhail Klementev Date: Sat, 6 Oct 2018 21:35:24 +0000 Subject: [PATCH] Fix kernel generation for Ubuntu 14.04 --- tools/kernel-factory/Ubuntu/14.04/Dockerfile | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/tools/kernel-factory/Ubuntu/14.04/Dockerfile b/tools/kernel-factory/Ubuntu/14.04/Dockerfile index dbf0b96..7529e73 100644 --- a/tools/kernel-factory/Ubuntu/14.04/Dockerfile +++ b/tools/kernel-factory/Ubuntu/14.04/Dockerfile @@ -1,4 +1,9 @@ FROM ubuntu:14.04 RUN apt-get update -RUN DEBIAN_FRONTEND=noninteractive apt-get install -y linux-image-3*-generic linux-image-4*-generic linux-headers-*-generic build-essential wget git + +# for linux-image-3*-generic, so... CRUTCHES! +# E: Unable to locate package linux-image-3*-generic +ENV DEBIAN_FRONTEND=noninteractive +RUN apt search linux-image | grep -e linux-image-3 -e linux-image-4 | grep generic | cut -d '/' -f 1 | xargs apt install -y +RUN apt search linux-headers | grep -e linux-headers-3 -e linux-headers-4 | grep generic | cut -d '/' -f 1 | xargs apt install -y