Comment télécharger une source PHP depuis un terminal avec Wget

Le téléchargement de fichiers à partir des miroirs PHP est ennuyeux, car par défaut, le redirecteur modifie simplement le nom du nom de fichier en «miroir». Alors, comment résoudre ce problème? Heureusement, wget a un argument simple que vous pouvez utiliser pour le résoudre - et il est utile dans de nombreux scénarios..

Chaque fois que vous souhaitez forcer la sortie de la commande Wget dans un nom de fichier spécifique, il vous suffit d'utiliser l'argument -O (lettre majuscule o) ou la version plus longue., --document de sortie = FILE c'est beaucoup de dactylographie supplémentaire sans raison.

Donc, pour forcer PHP à télécharger en tant que nom de fichier spécifique, vous utiliseriez quelque chose comme ceci:

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

Cette ligne enregistrerait le fichier de téléchargement résultant du lien miroir sous le nom de fichier php-5.5.14.tar.gz. Vous voudriez changer le numéro de version pour une version différente, non? Oui, parce que ce n'est même pas la dernière version en date..