Provavelmente será mais fácil usar a função Adicionar rede nas Configurações do sistema. Há uma tela que tem a opção de definir um proxy. Eu acredito que é configurações do sistema - > Rede - > Proxy
Minha faculdade usa um servidor proxy, digamos 172.21.0.11,port:3128 e, quando tento ping www.google.com no terminal, estou recebendo um erro como ping: unknown host www.google.com
Sem definir o proxy, só podemos abrir o site da minha faculdade em um navegador. Então, quando tentei fazer o ping no site da minha faculdade, está funcionando, mas nada além disso. Por favor me ajude.
Provavelmente será mais fácil usar a função Adicionar rede nas Configurações do sistema. Há uma tela que tem a opção de definir um proxy. Eu acredito que é configurações do sistema - > Rede - > Proxy