From b92f2031a9304f7379d38749dccea7e5a1edd13f Mon Sep 17 00:00:00 2001 From: Michele Cereda Date: Sat, 28 Sep 2024 18:44:39 +0200 Subject: [PATCH] chore: improve repo management --- .vscode/extensions.json | 4 +++- .vscode/settings.json | 1 - 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/.vscode/extensions.json b/.vscode/extensions.json index 03edb97..6038008 100644 --- a/.vscode/extensions.json +++ b/.vscode/extensions.json @@ -15,6 +15,8 @@ "redhat.ansible", "redhat.vscode-xml", - "redhat.vscode-yaml" + "redhat.vscode-yaml", + + "pulumi.pulumi-vscode-tools" ] } \ No newline at end of file diff --git a/.vscode/settings.json b/.vscode/settings.json index a59a7bc..46518b2 100644 --- a/.vscode/settings.json +++ b/.vscode/settings.json @@ -1,6 +1,5 @@ { "editor.formatOnPaste": true, - "editor.formatOnSave": true, "editor.formatOnSaveMode": "modificationsIfAvailable", "json.schemas": [ {