diff --git a/.vscode/extensions.json b/.vscode/extensions.json
index 79b06d9e9..c2d8596c0 100644
--- a/.vscode/extensions.json
+++ b/.vscode/extensions.json
@@ -3,14 +3,10 @@
       "ms-python.black-formatter",
       "ms-python.flake8",
       "ms-python.mypy-type-checker",
-      "editorconfig.editorconfig",
-      "dbaeumer.vscode-eslint",
-      "esbenp.prettier-vscode",
-      "gruntfuggly.triggertaskonsave",
-      "davidanson.vscode-markdownlint",
-      "adacore.ada",
       "ms-vscode.extension-test-runner",
-      "timonwong.shellcheck",
-      "foxundermoon.shell-format"
+      "davidanson.vscode-markdownlint",
+      "esbenp.prettier-vscode",
+      "dbaeumer.vscode-eslint",
+      "adacore.ada"
    ]
-}
+}
\ No newline at end of file