| changeset 76469 | 98cfe33db5a7 |
| parent 76468 | 01109e16cee8 |
| child 76470 | f65bb0ecc7e7 |
--- 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"),