Para comandos bash, você precisa definir o proxy separadamente. Para isso, você precisa definir uma variável de ambiente, por exemplo:
ping google.com # can't resolve, no proxy set
export http_proxy=proxy.example.com:1234
ping google.com # works, proxy set for this bash session.
Substitua o endereço e a porta pela sua configuração de proxy. Se você está sempre por trás desse proxy, adicione o comando export http_proxy...
a ~/.bashrc
para que ele seja executado toda vez que você iniciar uma nova sessão bash.
Ou para executar um único comando com configurações de proxy e sem definir variáveis de ambiente, use env
, por exemplo:
env http_proxy=proxy.example.com:1234 ping google.com
sudo env http_proxy=proxy.example.com:1234 apt-get install cowsay
Para usar outros serviços, por exemplo HTTPS ou FTP você tem que definir diferentes variáveis:
export https_proxy=proxy.example.com:1234
export ftp_proxy=proxy.example.com:1234