diff options
author | Kam Y. Tse <[email protected]> | 2021-03-07 09:55:43 +0000 |
---|---|---|
committer | Kam Y. Tse <[email protected]> | 2021-03-07 10:21:48 +0000 |
commit | 77b7c96aeabb5a187b7a29cbd474f6f9b2260613 (patch) | |
tree | ca032a941774d495f50e6256cbbd6a2e0edc4e05 /editors/code/src/config.ts | |
parent | f0b7c02f16f717744e7edc79a405db14110393cf (diff) |
Make extension respect http proxy settings
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index ddb5cfbd3..82f0a0566 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -100,6 +100,14 @@ export class Config { | |||
100 | get channel() { return this.get<UpdatesChannel>("updates.channel"); } | 100 | get channel() { return this.get<UpdatesChannel>("updates.channel"); } |
101 | get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); } | 101 | get askBeforeDownload() { return this.get<boolean>("updates.askBeforeDownload"); } |
102 | get traceExtension() { return this.get<boolean>("trace.extension"); } | 102 | get traceExtension() { return this.get<boolean>("trace.extension"); } |
103 | get httpProxy() { | ||
104 | const httpProxy = vscode | ||
105 | .workspace | ||
106 | .getConfiguration('http') | ||
107 | .get<null | string>("proxy")!; | ||
108 | |||
109 | return httpProxy || process.env["https_proxy"] || process.env["HTTPS_PROXY"]; | ||
110 | } | ||
103 | 111 | ||
104 | get inlayHints() { | 112 | get inlayHints() { |
105 | return { | 113 | return { |