【PHP】Ubuntuで複数インストールされているPHPのバージョンを切り替える

update-alternatives --list php

sudo update-alternatives --set php /usr/bin/php7.2

$ php -v
PHP 7.2.33-1+ubuntu20.04.1+deb.sury.org+1 (cli) (built: Aug  7 2020 14:44:56) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
    with Zend OPcache v7.2.33-1+ubuntu20.04.1+deb.sury.org+1, Copyright (c) 1999-2018, by Zend Technologies