Estoy usando un sistema que se ejecuta en Ubuntu 12.04 LTS 64-bit OS.
Actualmente estoy usando la siguiente versión de PHP en esta máquina:
Comando utilizado para obtener la siguiente información en la terminal: php -v
Los detalles que obtuve son los siguientes:
PHP 5.5.19-1+deb.sury.org~precise+1 (cli) (built: Nov 19 2014 19:32:34)
Copyright (c) 1997-2014 The PHP Group
Zend Engine v2.5.0, Copyright (c) 1998-2014 Zend Technologies
with Zend OPcache v7.0.4-dev, Copyright (c) 1999-2014, by Zend Technologies
Ahora quiero actualizar mi software PHP a la versión 5.5.20.
Antes de hacer la pregunta intenté con el siguiente comando:
sudo apt-get update
Alguna información apareció. Luego presioné nuevamente el siguiente comando:
php -v
pero aún así el software PHP no se actualizó.
¿Cómo debería hacer esto?
sudo apt-get upgrade
después del update
?