> >sto facendo girare uno script che scarica dei file usando wget. Lo > >scaricamento non avviene con successo per il fatto che c'� un proxy di
Se non sbaglio basta avere una variabile d'ambiente come segue: "http_proxy=http://username:[EMAIL PROTECTED]:8080" Il programma wget dovrebbe arrangiarsi a cercare se tale variabile esiste e ad utilizzarne il contenuto. Per settare il valore di questa variabile � sufficiente in bash usare il comando: "export http_proxy=http://username:[EMAIL PROTECTED]:8080" Se usi wget per reperire file via ftp basta che setti la variabile ftp_proxy in modo simile a quanto sopra! Ricorda: molti (anzi, quasi tutti) programmi a linea di comando utilizzano queste variabili d'ambiente! Paolo
