--- a/src/Pure/Tools/dotnet_setup.scala Sat Nov 05 23:16:43 2022 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala Sat Nov 05 23:42:07 2022 +0100
@@ -63,6 +63,8 @@
elif [ -d "$COMPONENT/$ISABELLE_PLATFORM64" ]; then
ISABELLE_DOTNET="$COMPONENT/$ISABELLE_PLATFORM64/dotnet"
fi
+
+DOTNET_CLI_TELEMETRY_OPTOUT="true"
"""
def dotnet_setup(
@@ -166,6 +168,7 @@
See also:
https://fsharp.org
https://learn.microsoft.com/en-us/dotnet/core/tools/dotnet-install-script
+ https://learn.microsoft.com/en-us/dotnet/core/tools/telemetry
""",
"D:" -> (arg => target_dir = Path.explode(arg)),
"I:" -> (arg => install_url = arg),