Hoe PHP Source te downloaden van de terminal met Wget

Het downloaden van bestanden van de PHP mirrors is vervelend, omdat de redirector de naam van de bestandsnaam standaard wijzigt in "mirror". Dus hoe repareer je dit? Gelukkig heeft wget een eenvoudig argument dat je kunt gebruiken om het te repareren - en het is handig voor vele scenario's.

Wanneer u de uitvoer van de Wget-opdracht in een specifieke bestandsnaam wilt forceren, hoeft u alleen het -O-argument (dat is een hoofdletter o) of de langere versie te gebruiken, --uitgang-document = BESTAND dat is veel extra typen zonder reden.

Dus om PHP te dwingen om te downloaden als een specifieke bestandsnaam, zou je zoiets als dit gebruiken:

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

Die regel zou het resulterende downloadbestand bewaren van de spiegellink naar de bestandsnaam php-5.5.14.tar.gz. U zou het versienummer voor een andere versie wijzigen, toch? Ja, dat zou je doen, want dat is niet eens de nieuwste versie van dit moment.