So laden Sie PHP Source mit Wget vom Terminal herunter

Das Herunterladen von Dateien von den PHP-Spiegeln ist ärgerlich, da der Redirector standardmäßig den Namen des Dateinamens in „mirror“ ändert. Wie können Sie das beheben? Glücklicherweise hat wget ein einfaches Argument, mit dem Sie es beheben können - und es ist für viele Szenarien hilfreich.

Wenn Sie die Ausgabe des Befehls Wget in einen bestimmten Dateinamen erzwingen möchten, müssen Sie nur das Argument -O (das ist ein Großbuchstabe o) oder die längere Version verwenden, --output-document = DATEI das ist eine Menge zusätzlichen Schreibens ohne Grund.

Um das Herunterladen von PHP als bestimmten Dateinamen zu erzwingen, verwenden Sie Folgendes:

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

Diese Zeile würde die resultierende Download-Datei aus dem Mirror-Link unter dem Dateinamen php-5.5.14.tar.gz speichern. Sie würden die Versionsnummer für eine andere Version ändern, oder? Ja, Sie würden es tun, weil dies zu diesem Zeitpunkt noch nicht einmal die neueste Version ist.