J'utilise un système fonctionnant sous Ubuntu 12.04 LTS 64 bits.
J'utilise actuellement la version suivante de PHP sur cette machine :
Commande utilisée pour obtenir l'information ci-dessous dans le terminal : php -v
Les détails que j'ai obtenus sont les suivants :
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
Je veux maintenant mettre à jour mon logiciel PHP à la version 5.5.20.
Avant de poser la question, j'ai essayé la commande suivante :
sudo apt-get update
Des informations sont apparues. Puis j'ai de nouveau lancé la commande suivante :
php -v
mais le logiciel PHP n'a toujours pas été mis à jour.
Comment dois-je m'y prendre ?