Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
further attempts to confine dotnet to $ISABELLE_HOME_USER;
authorwenzelm
Sun, 06 Nov 2022 12:20:38 +0100
changeset 76469 98cfe33db5a7
parent 76468 01109e16cee8
child 76470 f65bb0ecc7e7
further attempts to confine dotnet to $ISABELLE_HOME_USER;
src/Pure/Tools/dotnet_setup.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:11:13 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Sun Nov 06 12:20:38 2022 +0100
@@ -96,6 +96,7 @@
 fi
 
 DOTNET_CLI_TELEMETRY_OPTOUT="true"
+DOTNET_CLI_HOME="$(platform_path "$ISABELLE_HOME_USER/dotnet")"
 """)
 
         File.write(component_dir + Path.explode("README"),
isabelle