Mengunduh file dari mirror PHP sangat mengganggu, karena secara default redirector membuat nama dari nama file berubah menjadi hanya "mirror." Jadi bagaimana Anda memperbaikinya? Untungnya, wget memiliki argumen sederhana yang dapat Anda gunakan untuk memperbaikinya - dan ini berguna untuk banyak skenario.
Setiap kali Anda ingin memaksa output dari perintah Wget ke nama file tertentu, Anda hanya perlu menggunakan argumen -O (itu huruf kapital o), atau versi yang lebih panjang, --output-document = FILE itu banyak pengetikan ekstra tanpa alasan.
Jadi untuk memaksa PHP mengunduh sebagai nama file tertentu, Anda akan menggunakan sesuatu seperti ini:
wget -O php-5.5.14.tar.gz http://us.php.net/get/php-5.5.14.tar.gz/from/this/mirror
Baris itu akan menyimpan file unduhan yang dihasilkan dari tautan cermin ke nama file php-5.5.14.tar.gz. Anda akan mengubah nomor versi untuk versi yang berbeda, bukan? Ya, Anda akan, karena itu bukan versi terbaru pada saat ini.
