Estou usando um sistema em execução no sistema operacional Ubuntu 12.04 LTS de 64 bits.
Atualmente, estou usando a seguinte versão do PHP nesta máquina:
Comando usado para obter as informações abaixo no terminal: php -v
Os detalhes que obtive são os seguintes:
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
Agora eu quero atualizar meu software PHP para a versão 5.5.20.
Antes de fazer a pergunta, tentei o seguinte comando:
sudo apt-get update
Algumas informações apareceram. Em seguida, pressionei novamente o seguinte comando:
php -v
mas ainda assim o software PHP não foi atualizado.
Como devo fazer isso?
sudo apt-get upgrade
depois do update
?