diff --git a/basis/Dockerfile b/basis/Dockerfile index bf5e1324f737238218cf3ffa91e7b52535869169..68a0002b9395fb8fbba0af81c80a25668f678b5b 100755 --- a/basis/Dockerfile +++ b/basis/Dockerfile @@ -5,7 +5,7 @@ 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 curl dnsutils +RUN apt-get update && apt-get install -y tzdata curl dnsutils traceroute ENV TZ=Europe/Berlin RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone