Quanto scritto di seguito vale, ovviamente, anche per le ultime release di Debian.
Appunto veloce veloce...
La soluzione più immediata è quella di scrivere questa riga nel nostro bel terminale
export http_proxy="http://nostro.proxy.it:3128"
e lanciare il solito apt-get update && apt-get upgrade.
Bene sul momento, ma dovremo rifarlo tutte le volte (o valorizzare la variabile http_proxy per il nostro ambiente, cosa che forse non ci interessa fare). Se invece vogliamo aggiungere la configurazione del proxy per apt al nostro server Ubuntu (continuo a riferirmi alla versione server perché con l'ambiente grafico è tutto più semplice) è sufficiente creare il file proxy all'interno della cartella /etc/apt/apt.conf.d e scriverci dentro la riga seguente:
Acquire::http::Proxy "http://nostro.proxy.it:3128";
4 commenti
ciao scusa,
bella soluzione, ma su una macchina non server, un normale desktop, a quale file aggiungeresti quella riga? e dove sta messo?
Su hai un desktop grafico puoi modificare più semplicemente le impostazioni del proxy in Sistema > Preferenze.
Ma la procedura è valida anche per i desktop se non hai paura del terminale.
si ma non mi permette di inserire nome utente e password, ecco perchè cerco il file dove va a scrivere, un pò come per la versione server
Il file é esattamente lo stesso, ma lo devi creare tu. E deve chiamarsi "proxy" e trovarsi nel percorso indicato nel post. :)
Posta un commento