我如何弄清楚我的 Windows 10/Cygwin 代理设置，以便我可以从 CLI 使用 curl？

Question

...或者有没有办法让 curl 在 Cygwin 中获取这些设置？我可能在 Ubuntu 上蒙着眼睛做这个。:-/ 我的目标是最终让 Sdkman 工作。我们真的可以用到它。现在，如果不使用 GUI 浏览器，我甚至无法下载它。这意味着我必须先解决下载问题，然后它才能工作。