https://gogodigital.it/blog/linux/linux-settare-la-versione-di-php-di-default-per-il-terminale