Я настраиваю свой прокси-сервер в settings.json в соответствии с рекомендациями, он не работает.
{"http.proxy": "http://user@myproxy:port",
"http.proxyStrictSSL": false
}
Но если я использую его по команде, как показано ниже, это работает:
pip install Pylint --proxy=http://user@myproxy:port
Не могли бы вы мне помочь? Большое спасибо.