Set XDG_DATA_HOME when executing dotnet command

Since the upgrade to Dotnet 6.0.10, there was a permission denied error (dotnet/core#7868). The version of dotnet is now also pinned in the Dockerfile.
mrlvsb · Oct 15, 2022 · 540a3c1 · 540a3c1
1 parent cdec7c4
commit 540a3c1
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/evaluator/images/dotnet/Dockerfile b/evaluator/images/dotnet/Dockerfile
@@ -2,8 +2,8 @@ FROM kelvin/base
 
 RUN apt-get update && \
     DEBIAN_FRONTEND=noninteractive apt-get install -y \
-    dotnet6 \
-    aspnetcore-runtime-6.0 \
+    dotnet6=6.0.110-0ubuntu1~22.04.1 \
+    aspnetcore-runtime-6.0=6.0.110-0ubuntu1~22.04.1 \
     python3-pip && \
     rm -rf /var/lib/apt/lists/*
 

diff --git a/evaluator/images/dotnet/entry.py b/evaluator/images/dotnet/entry.py
@@ -75,6 +75,8 @@ def build_dotnet_project(run_tests: bool) -> BuildResult:
     tests_path = "tests.xml"
     env = os.environ.copy()
     env["DOTNET_CLI_HOME"] = "/tmp/dotnet-cli-home"
+    # workaround for https://github.com/dotnet/core/issues/7868
+    env["XDG_DATA_HOME"] = "/tmp/dotnet-cli-home"
     env["DOTNET_NOLOGO"] = "1"
     cmd = ['dotnet']
     if run_tests: