diff options
| author | João Moreno <joao.moreno@microsoft.com> | 2019-10-15 18:03:50 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-15 18:03:50 +0300 |
| commit | 6ab598523be7a800d7f3eb4d92d7ab9a66069390 (patch) | |
| tree | 49d189364ba1bebe71c85fe5766157bccc6eefbc | |
| parent | 633efb920262616818ee11b30de5cc838e005ebd (diff) | |
| parent | b9dc1ce86a0a14772cf489f8e43448b1fe03c269 (diff) | |
Merge pull request #82486 from microsoft/aeschli/add-chromium-args1.39.2release/1.39
Add chromium command line args
| -rw-r--r-- | src/vs/platform/environment/common/environment.ts | 8 | ||||
| -rw-r--r-- | src/vs/platform/environment/node/argv.ts | 7 |
2 files changed, 14 insertions, 1 deletions
diff --git a/src/vs/platform/environment/common/environment.ts b/src/vs/platform/environment/common/environment.ts index 789bb4c805f..990755c4f33 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 e61113171d0..3e48fe4ddd4 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<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[]' }, |