②PHP7.0 と 7.2 のバージョンを切り替える

update-alternatives コマンドで、バージョンを切り替え設定する。
$ update-alternatives --list php
/usr/bin/php7.0
/usr/bin/php7.2

$ update-alternatives --display php
php - 自動モード
　最適なリンクのバージョンは '/usr/bin/php7.2' です
　リンクは現在 /usr/bin/php7.2 を指しています
　リンク php は /usr/bin/php です
　スレーブ php.1.gz は /usr/share/man/man1/php.1.gz です
　/usr/bin/php7.0 - 優先度 70
　　スレーブ php.1.gz: /usr/share/man/man1/php7.0.1.gz
　/usr/bin/php7.2 - 優先度 72
　　スレーブ php.1.gz: /usr/share/man/man1/php7.2.1.gz

--config オプションを使う
$ update-alternatives --config php
alternative php (/usr/bin/php を提供) には 2 個の選択肢があります。
選択肢パス優先度状態
------------------------------------------------------------
* 0 /usr/bin/php7.2 72 自動モード
1 /usr/bin/php7.0 70 手動モード
2 /usr/bin/php7.2 72 手動モード
現在の選択 [*] を保持するには、さもなければ選択肢の番号のキーを押してください: 1
update-alternatives: /usr/bin/php (php) を提供するためにマニュアルモードで /usr/bin/php7.0 を使います

2018.12