Sviluppo spesso pagine Web e spesso trovo frustrante quando non riesco a riavviare il browser perché sono nel bel mezzo di un download. Quindi, quando devo scaricare un file di grandi dimensioni e non voglio preoccuparmi se Safari, Chrome o Firefox continuano a funzionare senza interruzioni, mi rivolgo al fidato Terminal! In effetti, puoi facilmente scaricare qualsiasi file dal Web utilizzando la riga di comando su un Mac.

La prossima volta che vuoi scaricare un file, copia l'URL negli appunti, quindi apri una finestra di Terminale e usa il comando 'curl'.

Curl è facile da usare per scaricare file, nella sua forma più semplice la sintassi sarebbe:

curl -O

L'URL di destinazione del file deve essere preceduto da http per il Web. Per impostazione predefinita, questo scaricherà l'URL richiesto nella directory di lavoro presente, utilizzando lo stesso nome per il file salvato che era sul server remoto (in altre parole, se il file si chiama "nomefile.zip" sul server remoto, il nome rimarrà lo stesso durante il download.

Devi usare il flag -O (o maiuscola) con curl per fare in modo che il nome del file rimanga lo stesso. Un flag minuscolo -o cambierà il nome. curl –help può spiegare di più.

Dopo aver coperto le basi, facciamo qualcosa di un po' più utile e specifichiamo dove il file verrà salvato da curl usando un esempio specifico.

Per prima cosa vorrai cambiare le directory in cui salvare il file, questo viene fatto con il comando 'cd'. Useremo il Desktop come esempio: cd ~/Desktop

Ora che abbiamo cambiato la nostra directory in "Desktop" (per comodità) possiamo iniziare il nostro download. Per il download useremo un'utilità integrata chiamata "curl".

curl -O http://www.exampleURL.com/downloads/Example/DoesNotExist.sit

Curl scaricherà immediatamente il file. Se il file è abbastanza grande, vedrai una barra di avanzamento che indica quanto tempo ci vuole per il download.

Puoi anche combinare le stringhe di comando precedenti in un unico comando, se lo desideri:

cd ~/Desktop; curl -O http://IP-server-remoto/file.zip

Naturalmente, curl ha molti altri usi oltre a scaricare file dal Web, quindi non perderti gli altri nostri post sull'uso di curl.

"

Se hai altri suggerimenti o trucchi utili per utilizzare questo metodo di download di file dal Web, condividili con noi nei commenti qui sotto!