tried adding path

dodona-edu · Nov 21, 2024 · 4f3fd77 · 4f3fd77
1 parent dd50af7
commit 4f3fd77
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.devcontainer/dodona-tested.dockerfile b/.devcontainer/dodona-tested.dockerfile
@@ -93,6 +93,7 @@ RUN <<EOF
     rm packages-microsoft-prod.deb
     apt-get update
     apt-get install -y --no-install-recommends dotnet-sdk-8.0
+    ENV PATH="${PATH}:/root/.dotnet/tools"
 
     # Java and Kotlin dependencies
     bash -c 'set -o pipefail && curl -s "https://get.sdkman.io?rcupdate=false" | bash'