testing another bugfix

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 && \