stan: switch to new vscode telemetry setting

This commit is contained in:
Aaron Bieber 2024-05-13 07:57:51 -06:00
parent 18d2ef3804
commit 1d4610a64e
No known key found for this signature in database

View File

@ -187,8 +187,7 @@ in
environment = {
etc = {
"vscode-settings.json".text = builtins.toJSON {
"telemetry.enableTelemetry" = false;
"telemetry.enableCrashReporter" = false;
"telemetry.telemetryLevel" = "off";
"editor.formatOnSave" = true;
"extensions.ignoreRecommendations" = true;
"extensions.autoUpdate" = false;