Como configuro proxies sem GUI?

Question

Como você configura as configurações de proxy nas versões do servidor Ubuntu ou Minimal (CLI) usando o terminal?

    

Answer 1

Proxies de todo o sistema no CLI Ubuntu / Server devem ser definidos como variáveis de ambiente.

• Abra o arquivo /etc/environment com vi (ou seu editor favorito). Este arquivo armazena as variáveis do sistema inicializadas na inicialização.

• Adicione as seguintes linhas, modificando apropriadamente. Você deve duplicar em maiúsculas e minúsculas porque (infelizmente) alguns programas procuram apenas um ou outro:

  http_proxy="http://myproxy.server.com:8080/"
  https_proxy="http://myproxy.server.com:8080/"
  ftp_proxy="http://myproxy.server.com:8080/"
  no_proxy="localhost,127.0.0.1,localaddress,.localdomain.com"
  HTTP_PROXY="http://myproxy.server.com:8080/"
  HTTPS_PROXY="http://myproxy.server.com:8080/"
  FTP_PROXY="http://myproxy.server.com:8080/"
  NO_PROXY="localhost,127.0.0.1,localaddress,.localdomain.com"
  

• apt-get , aptitude , etc. não obedecerão às variáveis de ambiente quando usado normalmente com sudo . Então, configure-os separadamente; crie um arquivo chamado 95proxies in /etc/apt/apt.conf.d/ e inclua o seguinte:

  Acquire::http::proxy "http://myproxy.server.com:8080/";
  Acquire::ftp::proxy "ftp://myproxy.server.com:8080/";
  Acquire::https::proxy "https://myproxy.server.com:8080/";
  

Por fim, faça logout e reinicialize para garantir que as alterações entrem em vigor.

Fontes: 1 , 2 . Veja 1 em particular para obter ajuda adicional, incluindo um script para ativar / desativar rapidamente os proxies.

    

Answer 2

Se você tiver um proxy de autenticação, os URLs serão diferentes. Em vez de:

"http://myproxy.server.com:8080/"

Você terá:

"http://user_name:[email protected]:8080/"

Observe que esses URLs ainda são URLs, portanto, as senhas (e possivelmente os nomes de usuários) terão que ser codificados em URL .

Por exemplo, um nome de usuário de muru e uma senha de )qv3TB3LBm7EkP} se pareceria:

"http://muru:)qv3TB3LBm7EkP%[email protected]:8080/"

Isso pode ser feito de várias maneiras:

1. Existem vários sites para codificação:
   • link
   • link
   • link etc.
2. Programática:
   • Um script de bash do Stack Overflow
   • Em Perl, do estouro de pilha

Em um piscar de olhos, você pode usar man url para ver quais caracteres precisam ser codificados:

An escaped octet is encoded as a character triplet, 
consisting of the percent character "%" followed by 
the two hexadecimal digits representing the octet code...

E os códigos de octetos estão disponíveis em man ascii .