Cambiare user agent in wget

wget è uno dei più famosi tool da riga di comando per eseguire richieste su HTTP/HTTPS/FTP/FTPS.

Ha parecchi opzioni, tra cui la possibilità di cambiare user agent quando si esegue una richiesta.

20/11/2023

Recuperare i documenti da una pagina web

In pratica, il comando che vedremo, ci permette di listare tutti i documenti di una determinata pagina web.

Creerà una lista con tutti i documenti linkati.

La lista dei documenti da cercare la passiamo tramite regex; nel nostro caso ho messo:

27/02/2019

Wget è probabilmente uno dei comandi più usati in ambito Linux.

Nella man page è descritto come un download manager.

Vediamo alcuni esempi per imparare ad usarlo.

Scaricare un singolo file:

$ wget https://www.example.com/file.zip

05/02/2018

Se vogliamo scaricare file dalla rete su Linux e Mac OS X, siamo soliti usare Wget o CURL.

Entrambi non sono disponibili su Windows, almeno di default.

Se vogliamo scaricare file dalla rete dal prompt dei comandi come possiamo fare?

Una alternativa è usare Wget per Windows.

11/05/2015

Oggi vediamo una carrellata di comandi per identificare il nostro IP, pubblico e privato, su Linux (da terminale ovviamente).

Cominciamo con l'IP del nostro pc (alternativa al classico ifconfig):

$ ip addr | awk '/inet / {sub(//.*/, "", $2); print $2}'
127.0.0.1
192.168.1.131

Per conoscere l'IP pubblico, invece, useremo un comando agganciandolo ad un servizio esterno.

10/04/2015

Chi ha detto che se abbiamo una distro senza interfaccia grafica non possiamo usare Google Translate?

Da oggi è possibile usando Google Translate CLI!

Prima di tutto però abbiamo bisogno di awk e wget, che in genere sono disponibili in tutte le distro (e anche su Mac OS X in verità).

Per essere sicuri di averli possiamo installarli, su Archlinux:

# pacman -Sy awk wget

Bene, a questo punto installiamo il programma, che invece non dovrebbe essere presente nei repo.

11/06/2014