diff --git a/autograder/Dockerfile b/autograder/Dockerfile index 733ea745c86706970fc0d3ad9850d11478d7f759..ee68773578c9a9f193cb170d0d3aba97226baa3a 100644 --- a/autograder/Dockerfile +++ b/autograder/Dockerfile @@ -1,13 +1,15 @@ FROM ubuntu:20.04 MAINTAINER Autolab Team <autolab-dev@andrew.cmu.edu> -RUN apt-get update && apt-get install -y \ +RUN apt-get update && \ + DEBIAN_FRONTEND="noninteractive" apt-get install -y \ build-essential \ gcc \ git \ make \ freeglut3-dev \ gtkwave \ + tzdata \ texinfo \ libncurses-dev \ elfutils \ @@ -21,7 +23,9 @@ RUN apt-get update && apt-get install -y \ gdb-avr \ avr-libc \ sudo \ - && rm -rf /var/lib/apt/lists/* + && ln -fs /usr/share/zoneinfo/Europe/Helsinki /etc/localtime \ + && DEBIAN_FRONTEND="noninteractive" dpkg-reconfigure --frontend noninteractive tzdata \ + rm -rf /var/lib/apt/lists/* # Install autodriver WORKDIR /home