コマンドライン ツールのプロキシ設定が必要です。自動検出するように設定されていることはわかっていますが、それでも正確な内容を知る必要があります。
Chrome でこれを行う場合は次の点に注意してください。
chrome://net-internals/#proxy
...すると、次のようになります:
http://[redactedIP]/wpad.dat
*.dat ファイルとは何ですか? これらのいずれかを Cygwin curl で使用できますか? 私がやろうとしているのは、SDKMAN を動作させることです。
答え1
もちろん、プロキシを使用しているため、これらの設定は他のソフトウェアにも必要です。正しい設定は 2 か所で見つかりました。Maven の settings.xml と IDE の構成です。HTTP_PROXY、NO_PROXY、HTTPS_PROXY 環境変数を探すこともできます。