From f63bdd71d88d370b83dc0c66642607fabd7449b0 Mon Sep 17 00:00:00 2001 From: Anthony Perkins Date: Fri, 9 Jun 2023 09:19:53 +0100 Subject: [PATCH] Add more VSCode settings --- roles/home-gui/files/vscode-settings.json | 3 +++ 1 file changed, 3 insertions(+) diff --git a/roles/home-gui/files/vscode-settings.json b/roles/home-gui/files/vscode-settings.json index fc110c1..c7b0acd 100644 --- a/roles/home-gui/files/vscode-settings.json +++ b/roles/home-gui/files/vscode-settings.json @@ -1,12 +1,15 @@ { "csharp.suppressBuildAssetsNotification": true, "debug.console.historySuggestions": false, + "dotnetAcquisitionExtension.enableTelemetry": false, "editor.fontFamily": "'Noto Sans Mono', 'Cascadia Code', Consolas, 'Courier New', monospace", "editor.fontSize": 12, "editor.renderWhitespace": "all", + "extensions.ignoreRecommendations": true, "files.insertFinalNewline": true, "files.trimFinalNewlines": true, "json.schemaDownload.enable": false, + "markdown.preferredMdPathExtensionStyle": "includeExtension", "npm.fetchOnlinePackageInfo": false, "powershell.codeFormatting.openBraceOnSameLine": false, "search.quickOpen.includeHistory": false,