ext-from-gh.patch 1.3 KB

12345678910111213141516171819202122
  1. diff --git a/build/lib/builtInExtensions.js b/build/lib/builtInExtensions.js
  2. index 1b0adc4..b595123 100644
  3. --- a/build/lib/builtInExtensions.js
  4. +++ b/build/lib/builtInExtensions.js
  5. @@ -47,5 +47,3 @@ function isUpToDate(extension) {
  6. function getExtensionDownloadStream(extension) {
  7. - const galleryServiceUrl = productjson.extensionsGallery?.serviceUrl;
  8. - return (galleryServiceUrl ? ext.fromMarketplace(galleryServiceUrl, extension) : ext.fromGithub(extension))
  9. - .pipe(rename(p => p.dirname = `${extension.name}/${p.dirname}`));
  10. + return ext.fromGithub(extension).pipe(rename(p => p.dirname = `${extension.name}/${p.dirname}`));
  11. }
  12. diff --git a/build/lib/builtInExtensions.ts b/build/lib/builtInExtensions.ts
  13. index fefed43..4ae553e 100644
  14. --- a/build/lib/builtInExtensions.ts
  15. +++ b/build/lib/builtInExtensions.ts
  16. @@ -72,5 +72,3 @@ function isUpToDate(extension: IExtensionDefinition): boolean {
  17. function getExtensionDownloadStream(extension: IExtensionDefinition) {
  18. - const galleryServiceUrl = productjson.extensionsGallery?.serviceUrl;
  19. - return (galleryServiceUrl ? ext.fromMarketplace(galleryServiceUrl, extension) : ext.fromGithub(extension))
  20. - .pipe(rename(p => p.dirname = `${extension.name}/${p.dirname}`));
  21. + return ext.fromGithub(extension).pipe(rename(p => p.dirname = `${extension.name}/${p.dirname}`));
  22. }