Open stratic-dev opened 4 years ago
(Experimental duplicate detection) Thanks for submitting this issue. Please also check if it is already covered by an existing one, like:
Noticed this command is not available any more
[me@here ~]$ code --proxy-server="socks5://localhost:9999"
Option 'proxy-server' is unknown. Ignoring.
# ssh socks proxy before I run the above
ssh -CD 9999 <server ip>
it says it is not available but actually does something because I can get the extensions to load into the ide
Message is gone as of Version: 1.39.2 Commit: 6ab598523be7a800d7f3eb4d92d7ab9a66069390 Date: 2019-10-15T15:33:00.827Z
We need to clarify that the settings only apply to extensions. Will update the settings description.
So for me to be able to get access to the extension library I need to use the command code --proxy-server="192.168.80.3:8080;"
My settings.xml does not seem to apply anything but includes the following just to make my case. That proxy settings in the xml do not apply.
my settings.xml { "http.systemCertificates": false, "http.proxySupport": "off", "http.proxyStrictSSL": false
}