PHP7.2を Debian 9（stretch）にインストールする方法

問題

php7.2 をインストールしたいです ＠debian

答え

PHP 7.2 のパッケージを提供している https://packages.sury.org/php/ を利用します。

$ sudo apt-get install apt-transport-https lsb-release ca-certificates
$ sudo wget -O /etc/apt/trusted.gpg.d/php.gpg https://packages.sury.org/php/apt.gpg
$ echo "deb https://packages.sury.org/php/ $(lsb_release -sc) main" | sudo tee /etc/apt/sources.list.d/php.list
$ sudo apt-get update
$ sudo apt-get install php7.2