diff --git a/basis/Dockerfile b/basis/Dockerfile index f6daed8cddc4ee323de683f712a357ef21ee020c..bc89efa70483b09f4b9d5ac9bbc2d937de49a0c4 100755 --- a/basis/Dockerfile +++ b/basis/Dockerfile @@ -5,10 +5,12 @@ LABEL maintainer "Eppelt, Jonas jonas.eppelt@kit.edu" USER root ### fixing timezone issues and make sure certificate lists are up to date -RUN apt-get update && apt-get install -y tzdata +RUN apt-get update && apt-get install -y tzdata ENV TZ=Europe/Berlin RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone +RUN apt-get install --reinstall ca-certificates + ### adding github as trusted certificate RUN openssl s_client -showcerts -servername github.com -connect github.com:443 </dev/null 2>/dev/null | \ sed -n -e '/BEGIN\ CERTIFICATE/,/END\ CERTIFICATE/ p' > github-com.pem && \