At the moment VSCode seems to grab the proxy-settings defined in my windows-settings. There I listed the path to a wpad.dat script that sets up the proxy. Everytime I start up VSCode I get a prompt to input my credentials (as shown in the VSCode-docs you linked). There it says the proxy is at port 8010 and not 8888. Port 8010 is the one defined on the wpad so I know VSCode is using that instead of the environment variables where i used 8888. Wierdly I get that exact same prompt a second time when the PIO Home Tab is loading in, altrough PIO doesn’t seem to use it.
If I delete the wpad-path in the windows-settings leaving the environment variables the only thing defining the proxy VSCode can’t connect to the internet anymore (can’t download extensions i.e.). Doing so will still result in PIO beeing able to connect to the internet…
Something else I tried was to set
"http.proxy" in the VSCode settings.json, but I could not get a working connection that way for neither VSCode nor the PIO IDE.
In the VSCode settings.json it says
// The value to send as the 'Proxy-Authorization' header for every network request.
// The proxy setting to use. If not set will be taken from the http_proxy and https_proxy environment variables.
I think the problem is, that PIO needs to have the credentials/authentification in the environmental variables itself while VSCode just wants the address in the variable and the credentials seperatly.