Eu resolvi o problema com base em este post , mas eu baixei o arquivo de configuração de proxy.
Eu usei um Windows, cuja conexão está funcionando, então eu acesso a URL http://wpad/wpad.dat para baixar o arquivo de configuração.
Em seguida, registrei meu Linux e usei o arquivo como configuração de detecção automática de proxy.
