We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 590dbf1 commit 2f18915Copy full SHA for 2f18915
1 file changed
infra/scripts/ide/code-editor.sh
@@ -145,7 +145,14 @@ configure_code_editor_settings() {
145
"security.workspace.trust.enabled": false,
146
"workbench.startupEditor": "terminal",
147
"update.mode": "none",
148
- "terminal.integrated.defaultProfile.linux": "zsh"
+ "telemetry.telemetryLevel": "off",
149
+ "terminal.integrated.defaultProfile.linux": "zsh",
150
+ "terminal.integrated.shellIntegration.decorationsEnabled": "never",
151
+ "redhat.telemetry.enabled": false,
152
+ "java.configuration.checkProjectSettingsExclusions": false,
153
+ "java.help.firstView": "none",
154
+ "java.help.showReleaseNotes": false,
155
+ "java.jdt.ls.nullAnalysis.mode": "disabled"
156
}
157
EOF
158
0 commit comments