Dernièrement, j’ai eu besoin d’upgrader ma version de PHP en 5.4.*, car celui-ci est en version 5.3.* par défaut sur mon poste de travail (Ubuntu 12.04.* LTS). Je vous explique en exemple comment mettre à jour votre version sans soucis.
Ondřej Surý tient à jour plusieurs dépôts suivant la version que vous souhaitez :
- PHP 5.4.* : ppa:ondrej/php5-oldstable (Détail du dépot)
- PHP 5.5.* : ppa:ondrej/php5 (Détail du dépot)
- PHP 5.6.* : ppa:ondrej/php5-5.6 (Détail du dépot)
Procédure
Allez on commence par ajouter le dépôt de paquet sur notre système (nous allons utiliser la version PHP 5.4.*) :
sudo add-apt-repository ppa:ondrej/php5-oldstable
Maintenant, on met à jour notre gestionnaire de paquet avec le nouveau dépot :
sudo apt-get update
Puis relancer l’installation de PHP :
sudo apt-get install php5
Lors de l’installation, le système nous posera des questions sur l’écrasement des fichiers de configuration de PHP.ini. Je vous conseille de mettre à jour le fichier et de reporter vos modifications.
Dès l’installation terminée, vous pouvez vérifier votre version de PHP en tapant dans la console la commande suivante :
$ php -v
PHP 5.4.25-1+sury.org~precise+2 (cli) (built: Feb 12 2014 10:45:30)
Copyright (c) 1997-2014 The PHP Group
Zend Engine v2.4.0, Copyright (c) 1998-2014 Zend Technologies
with Xdebug v2.2.3, Copyright (c) 2002-2013, by Derick Rethans