From 130f12608c0d23c3fc9195fb056b260cabaa3c1a Mon Sep 17 00:00:00 2001 From: WangSen <35533252+chong1144@users.noreply.github.com> Date: Thu, 19 Aug 2021 21:06:21 +0800 Subject: [PATCH] fix(imags): fix krb5 installation (#879) --- Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Dockerfile b/Dockerfile index 38039390b..0bd9b713d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,6 +7,8 @@ RUN apt-get -y update \ && apt-get -y install libgmp-dev \ && apt-get -y install libmpfr-dev \ && apt-get -y install libmpc-dev \ + # For krb5-user installation + && export DEBIAN_FRONTEND=noninteractive \ && apt-get -y install krb5-user \ && rm -rf /var/lib/apt/lists/*