From d4ed10fca3dc07a9cd649fdd848b7efb4fdd6aa4 Mon Sep 17 00:00:00 2001 From: Christoph Bergmeister Date: Sat, 23 Jan 2021 14:50:21 +0000 Subject: [PATCH] Upgrade release Dockerfile from Ubuntu 16.04 to 20.04 --- tools/docker/{ubuntu16 => ubuntu}/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename tools/docker/{ubuntu16 => ubuntu}/Dockerfile (74%) diff --git a/tools/docker/ubuntu16/Dockerfile b/tools/docker/ubuntu/Dockerfile similarity index 74% rename from tools/docker/ubuntu16/Dockerfile rename to tools/docker/ubuntu/Dockerfile index 7bb23eb74..b3ea385fd 100644 --- a/tools/docker/ubuntu16/Dockerfile +++ b/tools/docker/ubuntu/Dockerfile @@ -1,9 +1,9 @@ -FROM mcr.microsoft.com/powershell:ubuntu-16.04 +FROM mcr.microsoft.com/powershell:ubuntu-20.04 ENV __InContainer 1 RUN apt update -qq && apt install -q -y wget git apt-transport-https -RUN wget -q https://packages.microsoft.com/config/ubuntu/16.04/packages-microsoft-prod.deb && dpkg -i packages-microsoft-prod.deb +RUN wget -q https://packages.microsoft.com/config/ubuntu/20.04/packages-microsoft-prod.deb && dpkg -i packages-microsoft-prod.deb RUN apt update -qq && \ cd / && \