From 3fc18bfcfe1dfea4be3eae4df66170b2b6091282 Mon Sep 17 00:00:00 2001 From: Diego Date: Thu, 19 Sep 2019 23:32:00 +0100 Subject: [PATCH] update version for docker file --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 31ae74032..973a616fc 100644 --- a/Dockerfile +++ b/Dockerfile @@ -53,7 +53,7 @@ RUN chown -R ${NB_UID} ${HOME} USER ${USER} # Install Microsoft.DotNet.Interactive -RUN dotnet tool install -g dotnet-try --add-source "https://dotnet.myget.org/F/dotnet-try/api/v3/index.json" --version "1.0.19468.1" +RUN dotnet tool install -g dotnet-try --add-source "https://dotnet.myget.org/F/dotnet-try/api/v3/index.json" --version "1.0.19469.9" ENV PATH="${PATH}:${HOME}/.dotnet/tools" RUN echo "$PATH"