File webpack-no-source-maps.patch of Package code
--- vscode-1.80.1/extensions/shared.webpack.config.js.old 2023-07-12 18:45:52.000000000 +0200
+++ vscode-1.80.1/extensions/shared.webpack.config.js 2023-07-28 10:25:27.305374338 +0200
@@ -24,7 +24,7 @@ const tsLoaderOptions = {
function withNodeDefaults(/**@type WebpackConfig & { context: string }*/extConfig) {
const defaultConfig = {
- mode: 'none', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
+ mode: 'production', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
target: 'node', // extensions run in a node context
node: {
__dirname: false // leave the __dirname-behaviour intact
@@ -72,7 +72,7 @@ function withNodeDefaults(/**@type Webpa
libraryTarget: 'commonjs',
},
// yes, really source maps
- devtool: 'source-map',
+ devtool: false,
plugins: nodePlugins(extConfig.context),
};
@@ -107,7 +107,7 @@ function nodePlugins(context) {
function withBrowserDefaults(/**@type WebpackConfig & { context: string }*/extConfig, /** @type AdditionalBrowserConfig */ additionalOptions = {}) {
/** @type WebpackConfig */
const defaultConfig = {
- mode: 'none', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
+ mode: 'production', // this leaves the source code as close as possible to the original (when packaging we set this to 'production')
target: 'webworker', // extensions run in a webworker context
resolve: {
mainFields: ['browser', 'module', 'main'],
@@ -158,7 +158,7 @@ function withBrowserDefaults(/**@type We
libraryTarget: 'commonjs',
},
// yes, really source maps
- devtool: 'source-map',
+ devtool: false,
plugins: browserPlugins(extConfig.context)
};