Cara Mengunduh Sumber PHP dari Terminal dengan Wget

Mengunduh file dari mirror PHP itu menjengkelkan, karena secara default redirector mengubah nama nama file menjadi "mirror". Jadi bagaimana Anda memperbaikinya? Untungnya wget memiliki argumen sederhana yang dapat Anda gunakan untuk memperbaikinya - dan ini berguna untuk banyak skenario.

Kapan pun Anda ingin memaksakan output dari perintah Wget ke nama file tertentu, Anda hanya perlu menggunakan argumen -O (itu huruf kapital), atau versi yang lebih panjang, --output-document = FILE itu banyak mengetik 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 mirror ke nama file php-5.5.14.tar.gz. Anda akan mengubah nomor versi untuk versi yang berbeda, bukan? Ya, Anda mau, karena itu bahkan bukan versi terbaru saat ini.