From ee9855478a6c5520d77fc7edcd4506948362b242 Mon Sep 17 00:00:00 2001 From: 7HR4IZ3 <90985774+7HR4IZ3@users.noreply.github.com> Date: Fri, 14 Nov 2025 07:30:36 -0800 Subject: [PATCH] Fixed missing whitespaces in patch --- patches/sourcemaps.diff | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/patches/sourcemaps.diff b/patches/sourcemaps.diff index e1e52a495..48a1a4ee3 100644 --- a/patches/sourcemaps.diff +++ b/patches/sourcemaps.diff @@ -11,25 +11,25 @@ Index: code-server/lib/vscode/build/gulpfile.reh.mjs --- code-server.orig/lib/vscode/build/gulpfile.reh.mjs +++ code-server/lib/vscode/build/gulpfile.reh.mjs @@ -265,8 +265,7 @@ function packageTask(type, platform, arc - + 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(util.setExecutableBit(['**/*.sh'])); - + const workspaceExtensionPoints = ['debuggers', 'jsonValidation']; const isUIExtension = (manifest) => { @@ -305,9 +304,9 @@ function packageTask(type, platform, arc .map(name => `.build/extensions/${name}/**`); - + const extensions = gulp.src(extensionPaths, { base: '.build', dot: true }); - const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true }); - const sources = es.merge(src, extensions, extensionsCommonDependencies) + const extensionsCommonDependencies = gulp.src('.build/extensions/node_modules/**', { base: '.build', dot: true }) .pipe(filter(['**', '!**/*.{js,css}.map'], { dot: true })); + const sources = es.merge(src, extensions, extensionsCommonDependencies); - + let version = packageJson.version; const quality = product.quality; @@ -460,7 +459,7 @@ function tweakProductForServerWeb(produc