Command line error - "Option 'proxy-server' is unknown. Ignoring.". F…

…ixes #82253
microsoft · Oct 14, 2019 · b9dc1ce · b9dc1ce
1 parent 21ec3bc
commit b9dc1ce
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 1 deletion.
diff --git a/src/vs/platform/environment/common/environment.ts b/src/vs/platform/environment/common/environment.ts
@@ -75,7 +75,13 @@ export interface ParsedArgs {
 	'force'?: boolean;
 	'force-user-env'?: boolean;
 
-	// node flags
+	// chromium command line args: https://electronjs.org/docs/all#supported-chrome-command-line-switches
+	'no-proxy-server'?: boolean;
+	'proxy-server'?: string;
+	'proxy-bypass-list'?: string;
+	'proxy-pac-url'?: string;
+	'inspect'?: string;
+	'inspect-brk'?: string;
 	'js-flags'?: string;
 	'disable-gpu'?: boolean;
 	'nolazy'?: boolean;

diff --git a/src/vs/platform/environment/node/argv.ts b/src/vs/platform/environment/node/argv.ts
@@ -112,7 +112,14 @@ export const OPTIONS: OptionDescriptions<Required<ParsedArgs>> = {
 	'disable-inspect': { type: 'boolean' },
 	'force-user-env': { type: 'boolean' },
 
+	// chromium flags
+	'no-proxy-server': { type: 'boolean' },
+	'proxy-server': { type: 'string' },
+	'proxy-bypass-list': { type: 'string' },
+	'proxy-pac-url': { type: 'string' },
 	'js-flags': { type: 'string' }, // chrome js flags
+	'inspect': { type: 'string' },
+	'inspect-brk': { type: 'string' },
 	'nolazy': { type: 'boolean' }, // node inspect
 	'_urls': { type: 'string[]' },