guillaume

update 12NOV2022

......@@ -16,7 +16,7 @@ RUN apt-get -qy install libeigen3-dev libperl5.30
# Set timezone
ENV TZ=Europe/Paris
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
# Other packages
RUN apt-get remove -qy vim-tiny && \
apt-get -qy install \
vim \
......