Upgrade von PHP 7.0 auf PHP 7.2

Einige PHP-basierte Webapps benötigen bereits PHP in der Version 7.2, welche leider unter Ubuntu 16.04 noch nicht im Standardpaket enthalten ist.
Glücklicherweise ist es relativ einfach, das Upgrade per Hand durchzuführen.

Bitte stell sicher, dass du vor den Änderungen ein Backup deines Servers erstellt hast. Das Upgrade dauert nicht länger als 3 Minuten.

Die PHP-Repository hinzufügen

PPAs oder Personal Package Archive, ist eine Sammlung von Software, die standardmäßig nicht in Ubuntu enthalten ist. Typischerweise legen diese Repositories einen Fokus auf ein ganz bestimmtes Programm, sie können aber auch mehr als eins enthalten, je nachdem wie aktiv die Person ist, die das Repository wartet. Ondřej Surý ist für ein Repo verantwortlich, welches die aktellste PHP-Version enthält. Wir können es zu unserem System hinzufügen und ein Update ausführen, um es in die Liste der installierbaren Software zu übertragen:

# sudo add-apt-repository ppa:ondrej/php
# sudo apt-get update

PHP 7.0 entfernen

Jetzt muss die alte PHP-Version entfernt werden. Dafür kann man einfach den Paketmanager wie gehabt benutzen:

# sudo apt-get purge php7.0 php7.0-common

Sobald dein System PHP7.0 entfernt hat, können wir es mit PHP7.2 ersetzen.

Andere PHP-Pakete

Für manche Software werden weitere PHP7.2-Pakete benötigt. Diese müssen dann über das folgende Kommando ebenfalls noch installiert werden:

# sudo apt-get install php7.2-curl ...

Beenden der Installation

Wir können die Installation beenden, indem wir den Server neu starten.

# sudo reboot

Sobald wir wieder auf den Server verbinden, können wir überprüfen, welche PHP-Version wir installiert haben:

# php -i

Dort sollte jetzt eine Unterversion von PHP7.2 als aktive PHP-Version ausgegeben werden.

Diese Kommandos habe ich ohne PuTTY unter Windows über das Linux Subsystem ausgeführt. Mehr dazu hier: Linux Bash unter Windows 10 – PuTTY adieu?