Làm thế nào để tải về nguồn PHP từ Terminal với Wget

Làm thế nào để tải về nguồn PHP từ Terminal với Wget
Làm thế nào để tải về nguồn PHP từ Terminal với Wget

Video: Làm thế nào để tải về nguồn PHP từ Terminal với Wget

Video: Làm thế nào để tải về nguồn PHP từ Terminal với Wget
Video: Gà Tổng "TIẾT LỘ" 10 mẹo cực hay khi dùng SAMSUNG, bạn đã biết chưa ? | GENZ - YouTube 2024, Tháng tư
Anonim
Tải xuống các tệp từ các gương PHP gây phiền toái, bởi vì theo mặc định, redirector làm cho tên của thay đổi tên tệp thành "mirror". Vậy làm thế nào để bạn sửa lỗi 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ó rất hữu ích cho nhiều kịch bản.
Tải xuống các tệp từ các gương PHP gây phiền toái, bởi vì theo mặc định, redirector làm cho tên của thay đổi tên tệp thành "mirror". Vậy làm thế nào để bạn sửa lỗi 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ó rất hữu ích cho nhiều kịch bản.

Bất cứ khi nào bạn muốn ép đầu ra từ lệnh Wget vào một tên tệp cụ thể, bạn chỉ cần sử dụng đối số -O (đó là chữ hoa o) hoặc phiên bản dài hơn,

--output-document=FILE

đó là rất nhiều đánh máy thê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:
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 https://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 gương 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? Có, bạn sẽ, bởi vì đó không phải là phiên bản mới nhất kể từ thời điểm này.

Đề xuất: