-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 Alle 14:26, mercoledì 17 settembre 2003, Germano ha scritto:
> Ho letto al volo la documentazione di wget ed ho capito (ma forse > sbaglio) la seguente cosa: > wget è già predisposto per usare i proxies (gli devi dare un opzione > specifica per non farlo) sempre che trovi una variabile d'ambiente > sia settata. Ora la variabile da settare nel tuo caso è ftp_proxy; > non mi è ben chiaro se per ambiente lui intenda la shell o solo il > suo file di configurazione (ma penso che valga per tutti e due, con > precedenza per il secondo). Quindi ti consiglio di copiare il file > /etc/wgetrc in ~/.wgetrc e di decommentare la riga di tuo interesse > mettendo al posto del proxy che ha messo lui, il tuo con il numero di > porta corretto. > Insomma, vedi tu la strada è questa. > > Ciao, Germano Funziona grazie! Adesso ho provato a passargli l'opzione --wget ad urpmi e a funzionato velocissimo! Bene ora rimane solo il problema di far usare wget e non curl all'interfaccia grafica ( non so dove mettere le mani). Intanto ti ringrazio perché potrò sincronizzare finalmente i miei archivi con wget... Ancora grazie! Luigi - -- Personaggi Illustri [9 di 35]: Defecatore greco: Aristerco di Arrea Dentista giapponese: Tekuro Lakarie Dietologo giapponese: Kala Kili -- Da http://www.geocities.com/SouthBeach/Marina/9922/nomi.txt -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.3 (GNU/Linux) iD8DBQE/aV5vTvJtVxCNwP4RAozJAJ9lqLNCHBnYc+w4w3t3N3yZ7zupxwCgv3tb H/87RJ16KQlT1QgAAZpEjZw= =001f -----END PGP SIGNATURE-----