From ef69429dabdc20844c1c1a4c6dc6b75a955a2dc5 Mon Sep 17 00:00:00 2001 From: TomPallister Date: Tue, 24 Nov 2020 08:18:09 +0000 Subject: [PATCH] mono complete --- docker/Dockerfile.base | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker/Dockerfile.base b/docker/Dockerfile.base index 7b57dd23c..f635566e3 100644 --- a/docker/Dockerfile.base +++ b/docker/Dockerfile.base @@ -6,6 +6,6 @@ RUN apt update RUN apt install -y dirmngr gnupg apt-transport-https ca-certificates software-properties-common RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF RUN apt-add-repository 'deb https://download.mono-project.com/repo/ubuntu stable-focal main' -RUN apt install -y mono-devel +RUN apt install -y mono-complete RUN apt install -y make RUN apt install -y build-essential