custom-extensions-gallery.patch 934 B

12345678910111213141516171819202122232425262728
  1. diff --git a/src/vs/platform/product/common/product.ts b/src/vs/platform/product/common/product.ts
  2. index 2bea85740c..d0e9da036c 100644
  3. --- a/src/vs/platform/product/common/product.ts
  4. +++ b/src/vs/platform/product/common/product.ts
  5. @@ -57,6 +57,23 @@ else {
  6. });
  7. }
  8. + // Set user-defined extension gallery
  9. + if (
  10. + env['VSCODIUM_EXTENSIONS_GALLERY_SERVICE_URL']
  11. + || env['VSCODIUM_EXTENSIONS_GALLERY_ITEM_URL']
  12. + || env['VSCODIUM_EXTENSIONS_GALLERY_CONTROL_URL']
  13. + || env['VSCODIUM_EXTENSIONS_GALLERY_RECOMMENDATIONS_URL']
  14. + ) {
  15. + Object.assign(product, {
  16. + extensionsGallery: {
  17. + serviceUrl: env['VSCODIUM_EXTENSIONS_GALLERY_SERVICE_URL'],
  18. + itemUrl: env['VSCODIUM_EXTENSIONS_GALLERY_ITEM_URL'],
  19. + controlUrl: env['VSCODIUM_EXTENSIONS_GALLERY_CONTROL_URL'],
  20. + recommendationsUrl: env['VSCODIUM_EXTENSIONS_GALLERY_RECOMMENDATIONS_URL']
  21. + }
  22. + })
  23. + }
  24. +
  25. Object.assign(product, {
  26. version: pkg.version
  27. });