Originariamente inviato da V0D
Grazie. Sai mica dove posso trovare quella variabile?
forse in /etc/apt/sources.list
mettere qualche cosa del tipo
http://user
ass@server
orta/debian bla bla
penso che makuro abbia fatto una cosa del genere (tiro ad indovinare, e a quest'ora è dura per me :rollo: )
codice:
http_proxy="nomeutente:password@ipproxy:porta"
http://$http_proxy/debian bla bla
anche se sarebbe meglio metterlo in maiuscolo:
codice:
HTTP_PROXY="nomeutente:password@ipproxy:porta"
http://$HTTP_PROXY/debian bla bla
fammi sapere!
altrimenti, e mi è venuto in mente guardando i file di configurazione di apt-proxy...
ci sono due variabili, in fondo al file /etc/apt-proxy/apt-proxy.conf con questi commenti:
codice:
# HTTP/FTP proxy: apt-proxy uses wget to retreive files. Wget uses
# the http_proxy and ftp_proxy environment variables, which can be set
# like this:
#export http_proxy=http://proxy:8080/
#export ftp_proxy=http://proxy:8080/
potrebbe essere anche questa una via (però se la prima che ti ho scritto non funziona, con questa dovresti installare un nuovo programmillo (apt-proxy, appunto (per le funzionalità: # apt-cache show apt-proxy ) )