Eu sei que o proxy manual pode ser configurado usando as opções de rede no Ubuntu 14.04 e funciona bem como postado no link. Quais arquivos de configuração / variáveis de ambiente mudam depois de salvar a configuração via GUI?