Cách tải xuống Nguồn PHP từ Terminal bằng Wget

Tải xuống các tệp từ các máy nhân bản PHP rất khó chịu, bởi vì theo mặc định, trình chuyển hướng làm cho tên của tên tệp thay đổi thành chỉ là gương Mirror. Vì vậy, làm thế nào để bạn khắc phục điều này? May mắn là wget có một đối số đơn giản mà bạn có thể sử dụng để sửa nó - và nó hữu ích cho nhiều tình huống.

Bất cứ khi nào bạn muốn buộc đầu ra từ lệnh Wget thành một tên tệp cụ thể, bạn chỉ cần sử dụng đối số -O (đó là chữ in hoa o) hoặc phiên bản dài hơn, --đầu ra-tài liệu = TẬP_TIN đó là rất nhiều gõ thêm mà không có lý do.

Vì vậy, để buộc PHP tải xuống dưới dạng tên tệp cụ thể, bạn sẽ sử dụng một cái gì đó như thế này:

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

Dòng đó sẽ lưu tệp tải xuống kết quả từ liên kết nhân bản vào tên tệp php-5.5.14.tar.gz. Bạn sẽ thay đổi số phiên bản cho một phiên bản khác, phải không? Vâng, bạn sẽ làm thế, bởi vì đó thậm chí không phải là phiên bản mới nhất tính đến thời điểm này.