Backup_Repos/code-server
1
0
Fork 0
mirror of https://github.com/cdr/code-server.git synced 2026-05-08 04:20:37 +02:00
Code Issues Projects Releases Wiki Activity

Fixed missing whitespaces in patch

Browse source
This commit is contained in:
7HR4IZ3 2025-11-14 07:30:36 -08:00 committed by GitHub
parent df3b0feb33
commit ee9855478a
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
patches/sourcemaps.diff
View file

@ -11,25 +11,25 @@ Index: code-server/lib/vscode/build/gulpfile.reh.mjs
--- code-server.orig/lib/vscode/build/gulpfile.reh.mjs --- code-server.orig/lib/vscode/build/gulpfile.reh.mjs
+++ code-server/lib/vscode/build/gulpfile.reh.mjs +++ code-server/lib/vscode/build/gulpfile.reh.mjs
@@ -265,8 +265,7 @@ function packageTask(type, platform, arc @@ -265,8 +265,7 @@ function packageTask(type, platform, arc
const src = gulp.src(sourceFolderName + '/**', { base: '.' }) const src = gulp.src(sourceFolderName + '/**', { base: '.' })
.pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + sourceFolderName), 'out'); })) .pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + sourceFolderName), 'out'); }))
- .pipe(util.setExecutableBit(['**/*.sh'])) - .pipe(util.setExecutableBit(['**/*.sh']))
- .pipe(filter(['**', '!**/*.{js,css}.map'])); - .pipe(filter(['**', '!**/*.{js,css}.map']));
+ .pipe(util.setExecutableBit(['**/*.sh'])); + .pipe(util.setExecutableBit(['**/*.sh']));
const workspaceExtensionPoints = ['debuggers', 'jsonValidation']; const workspaceExtensionPoints = ['debuggers', 'jsonValidation'];
const isUIExtension = (manifest) => { const isUIExtension = (manifest) => {
@@ -305,9 +304,9 @@ function packageTask(type, platform, arc @@ -305,9 +304,9 @@ function packageTask(type, platform, arc
.map(name => `.build/extensions/${name}/**`); .map(name => `.build/extensions/${name}/**`);
const extensions = gulp.src(extensionPaths, { base: '.build', dot: true }); const extensions = gulp.src(extensionPaths, { base: '.build', dot: true });
- const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true }); - const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true });
- const sources = es.merge(src, extensions, extensionsCommonDependencies) - const sources = es.merge(src, extensions, extensionsCommonDependencies)
+ const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true }) + const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true })
.pipe(filter(['**', '!**/*.{js,css}.map'], { dot: true })); .pipe(filter(['**', '!**/*.{js,css}.map'], { dot: true }));
+ const sources = es.merge(src, extensions, extensionsCommonDependencies); + const sources = es.merge(src, extensions, extensionsCommonDependencies);
let version = packageJson.version; let version = packageJson.version;
const quality = product.quality; const quality = product.quality;
@@ -460,7 +459,7 @@ function tweakProductForServerWeb(produc @@ -460,7 +459,7 @@ function tweakProductForServerWeb(produc