Jag har arbetat på en server som inte är kopplad direkt mot nätet utan sitter bakom en proxy, att ladda ner filer på min arbetsstation för att sedan flytta de till servern är omständigt och onödigt jobb.
Räddningen är variabeln http_proxy som du kan sätta, syntaxen är:
http://user:pass@min.fina.url:8080
Då jag inte ville spara lösenordet i klartext så skrev jag ett litet skript som gör att jag kan skriva:
proxy wget http://example.com/file.txt
Det är inte perfekt men ett snabbt lite hack som gör vad det ska.
proxy() {<br /> echo -n "Username: "<br /> read -e _username<br /> echo -n "Password: "<br /> read -es _password<br /> echo<br /> http_proxy="http://$_username:$_password@proxy.url:8080" $@<br /> }