From f61d36818db26962118bdca2eca61002784acc04 Mon Sep 17 00:00:00 2001 From: Joao Moreno Date: Fri, 19 Feb 2016 15:10:37 +0100 Subject: [PATCH] remove plugin host sourcemap fixes #2863 --- build/gulpfile.vscode.js | 17 ++++------------- package.json | 1 - 2 files changed, 4 insertions(+), 14 deletions(-) diff --git a/build/gulpfile.vscode.js b/build/gulpfile.vscode.js index 392da9ff7aa..1d9c87cfd54 100644 --- a/build/gulpfile.vscode.js +++ b/build/gulpfile.vscode.js @@ -3,7 +3,7 @@ * Licensed under the MIT License. See License.txt in the project root for license information. *--------------------------------------------------------------------------------------------*/ -/*global process,__dirname, Buffer*/ +/*global process,__dirname,Buffer,require*/ var gulp = require('gulp'); var fs = require('fs'); @@ -16,7 +16,6 @@ var rename = require('gulp-rename'); var replace = require('gulp-replace'); var filter = require('gulp-filter'); var json = require('gulp-json-editor'); -var insert = require('gulp-insert'); var remote = require('gulp-remote-src'); var shell = require("gulp-shell"); var File = require('vinyl'); @@ -160,12 +159,8 @@ function packageTask(platform, arch, opts) { return function () { var out = opts.minified ? 'out-vscode-min' : 'out-vscode'; - var pluginHostFilter = filter(out + '/vs/workbench/node/pluginHostProcess.js', { restore: true }); var src = gulp.src(out + '/**', { base: '.' }) - .pipe(pluginHostFilter) - .pipe(insert.append('\n//# sourceMappingURL=pluginHostProcess.js.map')) - .pipe(pluginHostFilter.restore) .pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + out), 'out'); })) .pipe(util.setExecutableBit(['**/*.sh'])); @@ -184,13 +179,9 @@ function packageTask(platform, arch, opts) { '!extensions/json/server/node_modules/mocha/**' ], { base: '.' }); - var pluginHostSourceMap = gulp.src(out + '/vs/workbench/node/pluginHostProcess.js.map', { base: '.' }) - .pipe(rename(function (path) { path.dirname = path.dirname.replace(new RegExp('^' + out), 'out'); })); - - var sources = es.merge( - es.merge(src, extensions).pipe(filter(['**', '!**/*.js.map'])), - pluginHostSourceMap - ).pipe(util.handleAzureJson({ platform: platform })); + var sources = es.merge(src, extensions) + .pipe(filter(['**', '!**/*.js.map'])) + .pipe(util.handleAzureJson({ platform: platform })); var version = packageJson.version; var quality = product.quality; diff --git a/package.json b/package.json index d2bd82c7fe4..55cacf8130f 100644 --- a/package.json +++ b/package.json @@ -52,7 +52,6 @@ "gulp-concat": "^2.6.0", "gulp-cssnano": "^2.1.0", "gulp-filter": "^3.0.0", - "gulp-insert": "^0.5.0", "gulp-json-editor": "^2.2.1", "gulp-mocha": "^2.1.3", "gulp-remote-src": "^0.4.0",