# HG changeset patch
# User wenzelm
# Date 1667688127 -3600
# Node ID 18c50ff16bbc31e222cb81380bab438776ce2a6d
# Parent  da85bffef443dd1250eb9490ca555847d1a21c54
disable telemetry;

diff -r da85bffef443 -r 18c50ff16bbc src/Pure/Tools/dotnet_setup.scala
--- 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),