Cum se descarcă PHP Sursa de la Terminal cu Wget

Descărcarea fișierelor din oglinzile PHP este enervantă, deoarece în mod prestabilit redirectorul face ca numele fișierului să se schimbe doar la "oglindă". Deci, cum rezolvați acest lucru? Din fericire wget are un argument simplu pe care îl puteți folosi pentru ao repara - și este util pentru multe scenarii.

Ori de câte ori doriți să forțați ieșirea din comanda Wget într-un anumit nume de fișier, trebuie doar să utilizați argumentul -O (o literă o) sau versiunea mai lungă, --ieșire document = FILE care este o mulțime de tastare suplimentare pentru nici un motiv.

Deci, pentru a forța PHP să se descarce ca un nume de fișier specific, ați folosi ceva de genul:

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

Linia respectivă ar salva fișierul de descărcare rezultat din linkul de pe oglindă la numele de fișier php-5.5.14.tar.gz. Ați schimba numărul versiunii pentru o altă versiune, nu? Da, ați fi, pentru că nu este chiar cea mai recentă versiune din acest moment.