Sådan hentes PHP-kilde fra terminalen med Wget

Video: Sådan hentes PHP-kilde fra terminalen med Wget

Video: Sådan hentes PHP-kilde fra terminalen med Wget
Video: Как запустить канал YouTube в 2020 году для начинающих на AUTOP... 2024, Marts
Sådan hentes PHP-kilde fra terminalen med Wget
Sådan hentes PHP-kilde fra terminalen med Wget
Anonim
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.
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-document=FILE

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:
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 https://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.

Anbefalede: