Simplemente seguí adelante y agregué PHP7 a mi servidor siguiendo una guía usando el PPA de ondej. Ahora quiero eliminar el viejo php, así que obviamente lo hice sudo apt-get remove --purge php5y parecía que todo salió bien, excepto que no está desinstalado. Si lo hago php -v, obtengo la versión 7,...