@@ -10,7 +10,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
10
10
===================================================================
11
11
--- code-server.orig/lib/vscode/build/gulpfile.reh.js
12
12
+++ code-server/lib/vscode/build/gulpfile.reh.js
13
- @@ -191 ,8 +191 ,7 @@ function packageTask(type, platform, arc
13
+ @@ -192 ,8 +192 ,7 @@ function packageTask(type, platform, arc
14
14
15
15
const src = gulp.src(sourceFolderName + '/**', { base: '.' })
16
16
.pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + sourceFolderName), 'out'); }))
@@ -20,7 +20,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
20
20
21
21
const workspaceExtensionPoints = ['debuggers', 'jsonValidation'];
22
22
const isUIExtension = (manifest) => {
23
- @@ -231 ,9 +230 ,9 @@ function packageTask(type, platform, arc
23
+ @@ -232 ,9 +231 ,9 @@ function packageTask(type, platform, arc
24
24
.map(name => `.build/extensions/${name}/**`);
25
25
26
26
const extensions = gulp.src(extensionPaths, { base: '.build', dot: true });
@@ -32,7 +32,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
32
32
33
33
let version = packageJson.version;
34
34
const quality = product.quality;
35
- @@ -387 ,7 +386 ,7 @@ function tweakProductForServerWeb(produc
35
+ @@ -388 ,7 +387 ,7 @@ function tweakProductForServerWeb(produc
36
36
const minifyTask = task.define(`minify-vscode-${type}`, task.series(
37
37
optimizeTask,
38
38
util.rimraf(`out-vscode-${type}-min`),
0 commit comments