Another workaround is to set the proxy in the web GUI, under Settings -> Proxy for HTTP and HTTPS traffic (and restart)
Another workaround is to set the proxy in the web GUI, under Settings -> Proxy for HTTP and HTTPS traffic (and restart)