If-Koubou

Cum de a descărca PHP Source din Terminal cu Wget

Cum de a descărca PHP Source din Terminal cu Wget (Cum să)

Descărcarea fișierelor din oglinzile PHP este enervantă, deoarece implicit 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ă de tip o) sau versiunea mai lungă, --output 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, ai 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ă va salva fișierul de descărcare rezultat din link-ul 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.