A versão curl
da resposta de Tom H é:
curl -I -U user:password -x http://myhttpdproxy.com:3128 http://www.google.co.uk/
O curl
e o wget
também honram as variáveis de ambiente com o nome de usuário e a senha, como:
export http_proxy="http://user:[email protected]:3128"
Sinta-se à vontade para colocar a senha entre aspas se ela contiver caracteres que o bash interpretará, como !, *, \, <, >, |, ~
ou vários outros.
Observe que o uso da senha na linha de comando fará com que ela seja encerrada no histórico bash e geralmente esteja disponível em uma listagem de processos enquanto o comando estiver em execução. Não parece haver uma opção para ler a senha de um arquivo, mas colocar o comando inteiro em um script bash manterá pelo menos a senha fora do seu histórico bash. Colocar a variável de ambiente em seu ~/.bash_profile
parece ser o melhor método.