Sådan hentes PHP-kilde fra terminalen med Wget

At downloade filer fra PHP-spejlerne er irriterende, fordi redirectoren som standard gør navnet på filnavnskiftet til bare "spejl". Så hvordan løser du dette? Heldigvis har wget et simpelt argument, som du kan bruge til at ordne det - og det er nyttigt for mange scenarier.

Når du vil tvinge output fra Wget-kommandoen til et bestemt filnavn, skal du bare bruge -O-argumentet (det er et stort bogstav o) eller den længere version, --output-dokument = FIL det er meget ekstra at skrive uden grund.

Så for at tvinge PHP til at downloade som et bestemt filnavn, ville du bruge noget som dette:

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

Denne linje ville gemme den resulterende downloadfil fra spejllinket til filnavnet php-5.5.14.tar.gz. Du ville ændre versionsnummeret til en anden version, ikke? Ja, det ville du, for det er ikke engang den nyeste version lige nu.