From e1d8758288de52492881c7822777f4765c40e32d Mon Sep 17 00:00:00 2001 From: Yeming Liu <11371776+isra-fel@users.noreply.github.com> Date: Sun, 28 Jul 2024 14:33:56 +0800 Subject: [PATCH] Use codespace on generation branch (#25662) --- .azure-pipelines/sync-tools-folder.yml | 1 + .devcontainer/devcontainer.json | 14 +++++++------- 2 files changed, 8 insertions(+), 7 deletions(-) diff --git a/.azure-pipelines/sync-tools-folder.yml b/.azure-pipelines/sync-tools-folder.yml index e74d313bf004..6ac812221a08 100644 --- a/.azure-pipelines/sync-tools-folder.yml +++ b/.azure-pipelines/sync-tools-folder.yml @@ -11,6 +11,7 @@ trigger: paths: include: - .azure-pipelines + - .devcontainer - tools - src/lib - .ci-config.json diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json index d52c1f3a9ff0..17329263d913 100644 --- a/.devcontainer/devcontainer.json +++ b/.devcontainer/devcontainer.json @@ -13,13 +13,13 @@ } }, - // Set *default* container specific settings.json values on container create. - "settings": {}, - - // Add the IDs of extensions you want installed when the container is created. - "extensions": [ - "ms-dotnettools.csharp" - ], + "customizations": { + "vscode": { + "extensions": [ + "ms-dotnettools.csharp" + ] + } + }, // Use 'forwardPorts' to make a list of ports inside the container available locally. // "forwardPorts": [5000, 5001],