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.