Linux: settare la versione di PHP di default per il terminale Può essere utile su Linux settare la versione di PHP di default per il terminale, diversa da quella attuale, per installare software che richiedono precise versioni di PHP