alguns meses atrás eu compilei e instalei o php5.3 da fonte. Mas agora eu não preciso mais. Portanto, eu instalei php7.1 Mas quando eu corro php -v
. Ainda retorna php5.3
Eu tentei executar sudo update-alternatives --set php /usr/bin/php7.1
Mas não funcionou.