Cambiare versione PHP usata in console

Spesso capita che i server web abbiano installato diverse versioni di PHP per soddisfare le richieste dei vari siti, ma in console è configurata una versione che non possiamo usare per il processo che intendiamo eseguire in console.

Oppure semplicemente vogliamo aggiornare la versione di PHP della console a quella più recente.

Per fare questo usiamo i seguenti comandi

update-alternatives --config php
update-alternatives --config phar
update-alternatives --config phar.phar

Vanno eseguiti come root per ovvi motivi.