Da minha experiência, o terminal não respeita as configurações do sistema gnome.
Quando nós tínhamos um proxy de coporate, precisávamos definir aqueles no .bashrc. Então, configure seu proxy em ~ / .bashrc adicionando essas linhas ao final do arquivo e tente novamente (pode ser o suficiente para configurar apenas http e procuradores https, mas você nunca sabe ...):
export http_proxy=http://1.2.3.4:5678/
export ftp_proxy=http://1.2.3.4:5678/
export socks_proxy=socks://1.2.3.4:5678/
export https_proxy=http://1.2.3.4:5678/
.bashrc é executado toda vez que você inicia um terminal. Portanto, não esqueça de fechar e reabrir seu terminal depois de salvar .bashrc.
Boa sorte e divirta-se.