Set up HTTP proxy after openconnect connection

[Sebastian Spaeth]

Hello openconnectors,

I am using openconnect via Network Manager and it is flawless, thanks 
for it!

My connection requires the use of an HTTP proxy, ie not VPN is tunneled 
over an HTTP proxy, but the VPN connection permits HTTP traffic only via 
a proxy. My problem is that I would like to set this proxy up 
automatically after the connection has been established.

Is this something that I could achieve using the vpn-script 
functionality? (NetworkManager does not seem to call that or permit to 
use it, I believe) Should I be asking the Network-Manager community 
rather than you?

Grateful for any replies (ideally 'CCed to me),
Sebastian Spaeth