diff options
author | Anthony Wang | 2022-03-27 12:53:07 -0500 |
---|---|---|
committer | Anthony Wang | 2022-03-27 12:53:07 -0500 |
commit | b3999419a74e13a36783b1d7696be9177ec2345d (patch) | |
tree | c80b21a4cd873d422c987f366b25b527c55694d5 | |
parent | ea7f2f66b7ec2e5cb983ea9ab53a72f00db02c30 (diff) |
Remove extension-specific things from Code OSS settings.json
-rw-r--r-- | .config/Code - OSS/User/settings.json | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/.config/Code - OSS/User/settings.json b/.config/Code - OSS/User/settings.json index e7359ad..3a5d1fe 100644 --- a/.config/Code - OSS/User/settings.json +++ b/.config/Code - OSS/User/settings.json @@ -9,13 +9,5 @@ "git.confirmSync": false, "git.autofetch": true, "git.enableSmartCommit": true, - "telemetry.telemetryLevel": "off", - "julia.enableTelemetry": false, - "terminal.integrated.commandsToSkipShell": [ - "language-julia.interrupt" - ], - "julia.symbolCacheDownload": true, - "rust-client.disableRustup": true, - "latex-workshop.view.pdf.viewer": "tab", - "latex-workshop.latex.autoBuild.run": "never" + "telemetry.telemetryLevel": "off" } |