Así que estoy intentando actualizar de 7.1.1 a 7.1.17. Corrí:
sudo apt-get install php7.1
y tengo 7.1.17-1+ubuntu16.04.1+deb.sury.org+1
pero cuando corro
php -v
en la terminal me sale PHP 7.1.1-1+deb.sury.org
. Estoy usando digital ocean configurado con nginx. Reinicié el servidor y reinicié nginx, pero no tuve suerte.
Respuesta1
Ok, corrí:
sudo apt-get install php7.1 php7.1-common
Ahora está actualizado a la última versión.