From d13e877656e50b611a8de517ee202af6453fa4f4 Mon Sep 17 00:00:00 2001 From: Sofian Hnaide Date: Fri, 2 Jun 2023 09:55:03 -0700 Subject: [PATCH] add embedded extensions --- product.json | 27 ++++++++++++++++++++++++++- 1 file changed, 26 insertions(+), 1 deletion(-) diff --git a/product.json b/product.json index d53924d03253a..2c724a3874828 100644 --- a/product.json +++ b/product.json @@ -73,7 +73,32 @@ }, "publisherDisplayName": "Microsoft" } - } + }, + { + "name": "ms-toolsai.jupyter", + "version": "2022.5.1001610507", + "repo": "https://github.com/Microsoft/vscode-jupyter" + }, + { + "name": "ms-python.python", + "version": "2022.16.1", + "repo": "https://github.com/Microsoft/vscode-python" + }, + { + "name": "ms-pyright.pyright", + "version": "1.1.306", + "repo": "https://github.com/Microsoft/pyright" + }, + { + "name": "ms-toolsai.jupyter-keymap", + "version": "1.1.0", + "repo": "https://github.com/Microsoft/vscode-jupyter-keymap" + }, + { + "name": "ms-toolsai.jupyter-renderers", + "version": "1.0.9", + "repo": "https://github.com/Microsoft/vscode-notebook-renderers" + } ], "extensionsGallery": { "serviceUrl": "https://open-vsx.org/vscode/gallery",