Linux Mint 18.3のPHP7.0を7.2にする

諸般の事情でPHP7.0で始めたプロジェクトを、7.2に移行することになったので、環境構築したときのメモです。

参考文献

UbuntuにPHP7の環境をつくる

リポジトリ準備

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

PHP7.2がインストール可能になる

PHP7.2インストール

sudo apt install php7.2 php7.2-dev php7.2-mbstring php7.2-common php7.2-gd php7.2-xml php7.2-zip php7.2-mysql

Laravel5.5を動かす前提で必要なモジュールもインストール

確認

php -v
PHP 7.2.7-1+ubuntu16.04.1+deb.sury.org+1 (cli) (built: Jun 22 2018 08:44:50) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
    with Zend OPcache v7.2.7-1+ubuntu16.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies

できました。