Changing dockerfile

arthrp · Aug 19, 2020 · dd374e7 · dd374e7
1 parent da38fa3
commit dd374e7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Dockerfile b/Dockerfile
@@ -1,7 +1,8 @@
 FROM mcr.microsoft.com/dotnet/core/sdk:3.1.401-focal
 
 RUN dotnet tool install -g dotnet-fsharplint
+RUN export PATH="$PATH:/root/.dotnet/tools"
 
 COPY entrypoint.sh /entrypoint.sh
 
-ENTRYPOINT ["/entrypoint.sh"]
+ENTRYPOINT ["/entrypoint.sh"]