From 17df1c53961b0f2fd07030701ab556c2d1e08f54 Mon Sep 17 00:00:00 2001 From: Oleg Kalachev Date: Thu, 11 Jun 2026 20:37:35 +0300 Subject: [PATCH] Separate repository vscode settings and local vscode settings Use dangmai.workspace-default-settings externsion for that. --- .gitignore | 2 +- .vscode/extensions.json | 1 + .vscode/{settings.json => settings.default.json} | 0 3 files changed, 2 insertions(+), 1 deletion(-) rename .vscode/{settings.json => settings.default.json} (100%) diff --git a/.gitignore b/.gitignore index cd744a8..64cd6f3 100644 --- a/.gitignore +++ b/.gitignore @@ -7,7 +7,7 @@ tools/dist/ .core .libs .vscode/* -!.vscode/settings.json +!.vscode/settings.default.json !.vscode/c_cpp_properties.json !.vscode/tasks.json !.vscode/launch.json diff --git a/.vscode/extensions.json b/.vscode/extensions.json index c325fd8..d7d845c 100644 --- a/.vscode/extensions.json +++ b/.vscode/extensions.json @@ -1,6 +1,7 @@ { // See https://go.microsoft.com/fwlink/?LinkId=827846 to learn about workspace recommendations. "recommendations": [ + "dangmai.workspace-default-settings", "ms-vscode.cpptools", "ms-vscode.cmake-tools", "ms-python.python" diff --git a/.vscode/settings.json b/.vscode/settings.default.json similarity index 100% rename from .vscode/settings.json rename to .vscode/settings.default.json