Learned how. Proxy details must be specified in the following format. I used to use the wrong format.
My settings file looked something like the one below.
// Place your settings in this file to overwrite the default settings
{ "http.proxy": "http:// user@domain.local : Password456@10.201.10.200 :8080", "http.proxyStrictSSL": false }
The domain username was domain \ user, and it was provided in the FQDN format of the user. Password456 - password for the user login 10.10.10.200:8080 - this is a proxy server
Hope this helps someone at some point in time.
source share