Changeset 95784 in vbox for trunk/tools

Timestamp:

Jul 22, 2022 8:57:39 AM (2 years ago)

Author:

vboxsync

Message:

tools/bin/gen-vscode-workspace.sh: Renamed the default workspace name extension from .vscode-workspace -> .code-workspace, as this is the default extension VSCode uses now.

File:

• trunk/tools/bin/gen-vscode-workspace.sh (modified) (1 diff)

trunk/tools/bin/gen-vscode-workspace.sh

@@ -44 +44 @@
 MY_OUT_DIR=${MY_VSCODE_DIR}
 MY_PRJ_PRF="VBox-"
-MY_WS_NAME="virtualbox.vscode-workspace"   ## @todo v1.69 wants to open *.code-workspace...
+MY_WS_NAME="virtualbox.code-workspace"
 MY_DBG=""
 MY_WINDOWS_HOST=""