On 05/11/2022 23:36, Makarius wrote:
On 05/11/2022 23:29, Makarius wrote:
On 04/11/2022 20:40, Florian Haftmann wrote:
The key by Microsoft documentation is here:
https://learn.microsoft.com/en-us/dotnet/core/tools/dotnet-install-script
I wonder if this is also relevant, but we are not using the regular installer
here: https://learn.microsoft.com/en-us/dotnet/core/tools/telemetry
Is there anything to do, in order to disable telemetry data sent to Microsoft?
I have now added this change, hoping that it is sufficient:
https://isabelle-dev.sketis.net/rISABELLE18c50ff16bbc
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailman46.in.tum.de/mailman/listinfo/isabelle-dev
