В Windows 10 как отобразить настройки прокси из CLI

Question

Мне нужны настройки прокси для инструмента командной строки. Я знаю, что он настроен на автоопределение, но мне все еще нужно знать, что именно.

Обратите внимание, что если я сделаю это в Chrome:

chrome://net-internals/#proxy

... тогда я получаю это:

http://[redactedIP]/wpad.dat

Что такое файл * .dat? Можем ли мы использовать один из них в Cygwin curl? Я пытаюсь заставить SDKMAN работать.

Answer 1

Конечно, поскольку они используют прокси, эти настройки были необходимы для другого программного обеспечения. Я нашел правильные настройки в 2 местах. Файл Maven settings.xml и конфигурация моей IDE. Вы также можете искать переменные среды HTTP_PROXY, NO_PROXY и HTTPS_PROXY.