无法在 Linux（Manjaro）上设置 Anyconnect/OpenConnect VPN 代理 - 代理不在 https 上

Question

主要问题是使用 openConnect 时，我无法设置代理，因为它就像

http://setpac.mycorp.com

openConnect 将拒绝连接

openconnect vpn.mycorp.com -P setpac.mycorp.com
POST https://vpn.mycorp.com/
getaddrinfo failed for host 'setpac.mycorp.com': Name or service not known
Failed to open HTTPS connection to vpn.mycorp.com
Failed to obtain WebVPN cookie

如果不指定代理，我将连接但无法访问没有代理的互联网资源。AnyConnect Linux 客户端不提供设置，并且 ~/.anyconnect 配置文件忽略其中的 vpn 设置。知道如何覆盖或强制代理的 http 连接吗？

我尝试在 /opt/cisco/anyconnect/profile/MyCustomProfile.xml 中创建一个配置文件

<AnyConnectProfile>
    <ClientInitialization>
        <ProxySettings>Override
    <PublicProxyServerAddress UserControllable="true">setpac.mycorp.com:80</PublicProxyServerAddress>
        </ProxySettings>
    </ClientInitialization>
</AnyConnectProfile>

但是 anyconnect 客户端不使用它。

在 Windows 10 上，我可以在 Windows 代理设置中设置代理时进行连接，而不需要 https。谢谢。