pkgs/servers/code-server/remove-node-download.patch

   1 --- ./lib/vscode/build/gulpfile.reh.js
   2 +++ ./lib/vscode/build/gulpfile.reh.js
   3 @@ -268,9 +268,6 @@
   4                         .pipe(util.stripSourceMappingURL())
   5                         .pipe(jsFilter.restore);
   6
   7 -               const nodePath = `.build/node/v${nodeVersion}/${platform}-${arch}`;
   8 -               const node = gulp.src(`${nodePath}/**`, { base: nodePath, dot: true });
   9 -
  10                 let web = [];
  11                 if (type === 'reh-web') {
  12                         web = [
  13 @@ -287,7 +284,6 @@
  14                         license,
  15                         sources,
  16                         deps,
  17 -                       node,
  18                         ...web
  19                 );
  20
  21 @@ -385,7 +381,6 @@
  22                         const destinationFolderName = `vscode-${type}${dashed(platform)}${dashed(arch)}`;
  23
  24                         const serverTaskCI = task.define(`vscode-${type}${dashed(platform)}${dashed(arch)}${dashed(minified)}-ci`, task.series(
  25 -                               gulp.task(`node-${platform}-${arch}`),
  26                                 util.rimraf(path.join(BUILD_ROOT, destinationFolderName)),
  27                                 packageTask(type, platform, arch, sourceFolderName, destinationFolderName)
  28                         ));