From 210d68e9d7791ee52fba4009befa58775cee259f Mon Sep 17 00:00:00 2001 From: Nils Dijk Date: Tue, 18 Jan 2022 12:40:27 +0100 Subject: [PATCH] ubuntu bump --- .devcontainer/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile index 5ec6d2347..fb7c3e4ab 100644 --- a/.devcontainer/Dockerfile +++ b/.devcontainer/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:21.10 AS base +FROM ubuntu:20.04 AS base # environment is to make python pass an interactive shell, probably not the best timezone given a wide variety of colleagues ENV TZ=Europe/Amsterdam