Come scaricare PHP Source dal Terminale con Wget

Il download di file dai mirror di PHP è fastidioso, perché di default il redirector rende il nome del nome del file appena "mirror". Quindi come risolvi questo? Per fortuna wget ha un semplice argomento che puoi usare per risolverlo - ed è utile per molti scenari.

Ogni volta che si desidera forzare l'output dal comando Wget in un nome file specifico, è sufficiente utilizzare l'argomento -O (che è una lettera maiuscola o) o la versione più lunga, --output-document = FILE questo è un sacco di digitazione extra senza motivo.

Quindi per forzare PHP a scaricare come nome file specifico, dovresti usare qualcosa di simile a questo:

wget -O php-5.5.14.tar.gz http://us.php.net/get/php-5.5.14.tar.gz/from/this/mirror

Quella riga salverebbe il file di download risultante dal collegamento mirror al nome file php-5.5.14.tar.gz. Dovresti cambiare il numero di versione per una versione diversa, giusto? Sì, lo faresti, perché non è nemmeno l'ultima versione di questo momento.