To get the PIO IDE in VSCode on Windows 10 to connect to the internet through a proxy I had to set two environment variables for my user.
HTTP_PROXY: http://<username>:<password>@proxy.hs-karlsruhe.de:8888/
HTTPS_PROXY: http://<username>:<password>@proxy.hs-karlsruhe.de:8888/
Important for me (maybe obvious for someone with more knowledge ) was that
- don’t include a domain
- protocol in front of the username has to be http:// not https://
- slash at the end is important
- restart computer