From 7555025ff6fa332048338036ff9d77180eb09024 Mon Sep 17 00:00:00 2001 From: Luca Pellegrini Date: Thu, 24 Nov 2022 20:27:21 +0100 Subject: [PATCH] Added product.json to codium config files to enable extensions from the VS Code marketplace --- codium/.config/VSCodium/product.json | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 codium/.config/VSCodium/product.json diff --git a/codium/.config/VSCodium/product.json b/codium/.config/VSCodium/product.json new file mode 100644 index 0000000..032102a --- /dev/null +++ b/codium/.config/VSCodium/product.json @@ -0,0 +1,9 @@ +{ + "extensionsGallery": { + "serviceUrl": "https://marketplace.visualstudio.com/_apis/public/gallery", + "cacheUrl": "https://vscode.blob.core.windows.net/gallery/index", + "itemUrl": "https://marketplace.visualstudio.com/items", + "controlUrl": "", + "recommendationsUrl": "" + } +}