From b9dc1ce86a0a14772cf489f8e43448b1fe03c269 Mon Sep 17 00:00:00 2001 From: Martin Aeschlimann Date: Mon, 14 Oct 2019 09:06:45 +0200 Subject: [PATCH] Command line error - "Option 'proxy-server' is unknown. Ignoring.". Fixes #82253 --- src/vs/platform/environment/common/environment.ts | 8 +++++++- src/vs/platform/environment/node/argv.ts | 7 +++++++ 2 files changed, 14 insertions(+), 1 deletion(-) diff --git a/src/vs/platform/environment/common/environment.ts b/src/vs/platform/environment/common/environment.ts index 789bb4c805f66..990755c4f3385 100644 --- 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 index e61113171d048..3e48fe4ddd481 100644 --- a/src/vs/platform/environment/node/argv.ts +++ b/src/vs/platform/environment/node/argv.ts @@ -112,7 +112,14 @@ export const OPTIONS: OptionDescriptions> = { '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[]' },