Come scaricare PHP Source dal Terminale con Wget

Come scaricare PHP Source dal Terminale con Wget
Come scaricare PHP Source dal Terminale con Wget

Video: Come scaricare PHP Source dal Terminale con Wget

Video: Come scaricare PHP Source dal Terminale con Wget
Video: Windows PE: Avviare il sistema operativo da un supporto di emergenza - YouTube 2024, Aprile
Anonim
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.
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 vuoi forzare l'output dal comando Wget in un nome file specifico, devi solo usare 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 un nome file specifico, dovresti usare qualcosa del genere:
Quindi per forzare PHP a scaricare come un nome file specifico, dovresti usare qualcosa del genere:

wget -O php-5.5.14.tar.gz https://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.

Consigliato:

Come gestire i file dal terminale Linux: 11 comandi da conoscere

Come gestire i file dal terminale Linux: 11 comandi da conoscere

Per utilizzare il terminale Linux come un professionista, è necessario conoscere le basi della gestione dei file e della navigazione delle directory. Fedele alla filosofia Unix, ogni comando fa una cosa e lo fa bene.

Come ottenere aiuto con un comando dal terminale Linux: 8 trucchi per principianti e professionisti allo stesso modo

Come ottenere aiuto con un comando dal terminale Linux: 8 trucchi per principianti e professionisti allo stesso modo

Che tu sia un utente inesperto o un veterano brizzolato, non saprai sempre la cosa giusta da digitare nel terminale Linux. Ci sono alcuni strumenti integrati nel terminale per aiutarti.

Come lavorare con la rete dal terminale Linux: 11 comandi da conoscere

Come lavorare con la rete dal terminale Linux: 11 comandi da conoscere

Sia che tu voglia scaricare i file, diagnosticare problemi di rete, gestire le tue interfacce di rete o visualizzare le statistiche di rete, c'è un comando terminale per questo. Questa raccolta contiene gli strumenti provati e veri e alcuni comandi più recenti.

Come navigare dal terminale Linux con W3M

Come navigare dal terminale Linux con W3M

W3M è un browser web terminale per Linux. Ha qualche asso nella manica, incluso il supporto per immagini, schede, tabelle, cornici e altre funzionalità che di solito non sono incluse nei browser web del terminale.

Come scaricare gli aggiornamenti macOS utilizzando il terminale

Come scaricare gli aggiornamenti macOS utilizzando il terminale

Stanco di aprire il Mac App Store per installare gli aggiornamenti macOS? Utilizzare invece il terminale.