Move wokwi specific templates to Tools/ide/vscode/template/wokwi/.

SmingHub · Dec 12, 2023 · 13e061d · 13e061d
1 parent 928d9af
commit 13e061d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Tools/ide/vscode/setup.py b/Tools/ide/vscode/setup.py
@@ -116,7 +116,7 @@ def update_workspace():
 def update_wokwi():
     filename = '.vscode/extensions.json'
     extensions = load_json(filename, False)
-    template = load_template('extensions.json', appPath)
+    template = load_template('wokwi/extensions.json', appPath)
     if extensions is None:
         extensions = template.copy()
         save_json(extensions, filename)

diff --git a/Tools/ide/vscode/template/extensions.json → ...ide/vscode/template/wokwi/extensions.json b/Tools/ide/vscode/template/extensions.json → ...ide/vscode/template/wokwi/extensions.json