StarMirror
/
code-server
mirror of https://github.com/cdr/code-server
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Update Code to 1.86.1 (#6668)

pull/6670/head
Olivier Benz 2024-02-08 21:10:43 +01:00 committed by GitHub
parent 413c47a86d
commit 76e6f75758
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lib/vscode

@ -1 +1 @@
Subproject commit f5442d1f9fcdc7ce89a34c6e52a11ba44e47b423
Subproject commit 31c37ee8f63491495ac49e43b8544550fbae4533

6
patches/sourcemaps.diff
View File

@ -10,7 +10,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
===================================================================
--- code-server.orig/lib/vscode/build/gulpfile.reh.js
+++ code-server/lib/vscode/build/gulpfile.reh.js
@@ -235,8 +235,7 @@ function packageTask(type, platform, arc
@@ -236,8 +236,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'); }))
@ -20,7 +20,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
const workspaceExtensionPoints = ['debuggers', 'jsonValidation'];
const isUIExtension = (manifest) => {
@@ -275,9 +274,9 @@ function packageTask(type, platform, arc
@@ -276,9 +275,9 @@ function packageTask(type, platform, arc
.map(name => `.build/extensions/${name}/**`);
const extensions = gulp.src(extensionPaths, { base: '.build', dot: true });
@ -32,7 +32,7 @@ Index: code-server/lib/vscode/build/gulpfile.reh.js
let version = packageJson.version;
const quality = product.quality;
@@ -432,7 +431,7 @@ function tweakProductForServerWeb(produc
@@ -433,7 +432,7 @@ function tweakProductForServerWeb(produc
const minifyTask = task.define(`minify-vscode-${type}`, task.series(
optimizeTask,
util.rimraf(`out-vscode-${type}-min`),