Fixing Issue microsoft#5 : proxy settings not used

EmmanuelGrandin · Jan 22, 2020 · 3eba617 · 3eba617
1 parent c960152
commit 3eba617
Show file tree

Hide file tree

Showing 3 changed files with 42 additions and 1 deletion.
diff --git a/lib/download.js b/lib/download.js
@@ -144,6 +144,15 @@ async function getAssetFromGithubApi(opts, assetName, downloadFolder) {
             'user-agent': 'vscode-ripgrep'
         }
     };
+
+    // Get proxy information from env variables and instantiate a proxy agent into download options
+    if(process.env.https_proxy || process.env.http_proxy) {
+        var HttpsProxyAgent = require('https-proxy-agent');
+        var proxy = process.env.https_proxy || process.env.http_proxy;
+        var agent = new HttpsProxyAgent(proxy);
+        downloadOpts.agent = agent
+    }
+
     if (opts.token) {
         downloadOpts.headers.authorization = `token ${opts.token}`;
     }

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -14,6 +14,7 @@
   "author": "Rob Lourens",
   "license": "MIT",
   "devDependencies": {
-    "@types/node": "^10.12.0"
+    "@types/node": "^10.12.0",
+    "https-proxy-agent": "^4.0.0"
   }
 }