Proxy-aware sync.py

[scuthber]

Not really a contribution, but a note. If you have a proxy on your Internet-facing environment you can add:

.
proxies = {
"http":"http://1.2.3.4:8080",
"https":"http://1.2.3.4:8080",
.
.
result = requests.get(url, allow_redirects=True, proxies=proxies, timeout=vsc.TIMEOUT)
.

Also, can't figure out how to use --check-specified-extensions. Check for extensions in /specified.json
Does this mean "only download the extensions in specified.json? That's what I'm after.

[LaSeineFirenze]

I think this could be a feature (adding proxies as flags or envs).

Besides requests.get(), there is also session.get() which handles extension downloads. We should also add this line:

session = requests.Session()
+ session.proxies.update(proxies)