Relatório de erros: link
Esta página afirma que o Gnome3 moveu o local do proxy e oferece uma solução alternativa.
Antes de 11,10, pode-se salvar muitas configurações de proxy como perfis, para que se possa ter uma configuração para casa e outra para o trabalho em um laptop. Agora que atualizei para o 11.10, não tenho mais essa opção.
Então, como posso configurar um perfil de proxy para minha casa e outro para meu trabalho?
A propósito, a configuração do proxy foi mesclada na configuração da rede.
Relatório de erros: link
Esta página afirma que o Gnome3 moveu o local do proxy e oferece uma solução alternativa.