mirror of
https://github.com/coder/code-server.git
synced 2026-07-02 07:02:25 +02:00
1e6ed874e3
There is a new use of parsedArgs so we have to pass that in since we parse on demand instead of globally.
26 lines
1.1 KiB
Diff
26 lines
1.1 KiB
Diff
Remove sourcemaps URL
|
|
|
|
These will not work since we patch VS Code.
|
|
|
|
Index: code-server/lib/vscode/build/gulpfile.reh.ts
|
|
===================================================================
|
|
--- code-server.orig/lib/vscode/build/gulpfile.reh.ts
|
|
+++ code-server/lib/vscode/build/gulpfile.reh.ts
|
|
@@ -344,10 +344,15 @@ function packageTask(type: string, platf
|
|
const destination = path.join(BUILD_ROOT, destinationFolderName);
|
|
|
|
return () => {
|
|
+ const jsFilterMain = util.filter(data => !data.isDirectory() && /\.js$/.test(data.path));
|
|
+
|
|
const src = gulp.src(sourceFolderName + '/**', { base: '.' })
|
|
.pipe(rename(function (path) { path.dirname = path.dirname!.replace(new RegExp('^' + sourceFolderName), 'out'); }))
|
|
.pipe(util.setExecutableBit(['**/*.sh']))
|
|
- .pipe(filter(['**', '!**/*.{js,css}.map']));
|
|
+ .pipe(filter(['**', '!**/*.{js,css}.map']))
|
|
+ .pipe(jsFilterMain)
|
|
+ .pipe(util.stripSourceMappingURL())
|
|
+ .pipe(jsFilterMain.restore);
|
|
|
|
const workspaceExtensionPoints = ['debuggers', 'jsonValidation'];
|
|
const isUIExtension = (manifest: { extensionKind?: string; main?: string; contributes?: Record<string, unknown> }) => {
|