Modificare la versione predefinita di un comando
Per modificare la versione predefinita di sistema di php:
sudo
update-alternatives
--config
php