Risposte:
Senza modificare i file di sistema, /etc/wgetrc
è possibile creare un file nella directory principale ~/.wgetrc
. Ti consentirà di modificare le impostazioni di wget localmente a livello di utente. Ora scrivi quanto segue ~/.wgetrc
per usare wget dietro un server proxy:
use_proxy = on
http_proxy = http://username:password@proxy.server.address:port/
https_proxy = http://username:password@proxy.server.address:port/
ftp_proxy = http://username:password@proxy.server.address:port/
Se non si dispone di nome utente e password proxy, basta scrivere l'indirizzo proxy e la porta ovunque come,
http_proxy = http://proxy.server.address:port/
Questo dovrebbe funzionare. Presumo che tu abbia già le impostazioni proxy per tutte le altre applicazioni.
L' -e
opzione ti consente di fornire comandi come in wgetrc nella riga di comando, quindi non è necessario modificare un file ...
wget -e use_proxy=yes -e http_proxy=$proxy http://askubuntu.com
Devi modificare il wgetrc
file che si trova in /etc/wgetrc
.
Usa il tuo editor di testo preferito, ovvero: nano /etc/wgetrc
per modificarlo
Cerca il tag http_proxy e rimuovi il # davanti, aggiungi il server proxy dopo il segno = , cioè:
http_proxy=http://foo.proxy:8080
Quindi cerca il tag use_proxy e rimuovi il # davanti, salva il file.
wget
utilizzerà quindi il server proxy specificato.
Se non è possibile modificare la configurazione del sistema con l'utente, è possibile copiare la configurazione corrente in un luogo in cui è possibile modificarla, ovvero: cp /etc/wgetrc ~
e utilizzare l' --config=~/wgetrc
opzione per forzare wget a utilizzare la configurazione modificata anziché la configurazione globale.
Opzione che non è menzionata, ma che dovrebbe essere menzionata: utilizzare le variabili ambientali (a seconda della distribuzione):
http_proxy=http://<proxy-server-ip>:<port>
export http_proxy
o semplicemente
export http_proxy=http://<proxy-server-ip>:<port>
Lo stesso per:
https_proxy=http://<proxy-server-ip>:<port>
ftp_proxy=http://<proxy-server-ip>:<port>
Puoi includere un nome utente e una password, se nella tua password sono presenti caratteri speciali, assicurati di includere '-s.
http_proxy='http://<username>:<password>@<proxy-server-ip>:<port>'
Esempi:
export http_proxy=http://172.16.1.100:8080
export https_proxy='http://johndoe:ABC!123@172.16.1.100:8080'
Solo dalla riga di comando ho riscontrato il successo che precede il wget
comando con le http_proxy
informazioni senza la necessità di utilizzare le variabili di ambiente. Per esempio:
'$ http_proxy=<proxy-server-ip>:<port> wget http://www.example.com/'