Outils pour utilisateurs

Outils du site


Action disabled: source
maj:php

Pour connaître la version PHP, on tape dans la console :

php -v

On liste les packages relatifs à PHP :

dpkg -l | grep php

Ce qui nous intéresse : les packages PHP7.0. Il s’agit de les mettre à jour en PHP7.2. On installe le repository ondrej pour obtenir les packages PHP 7.2 si ce n’est déjà fait :

apt-get install python-software-properties
add-apt-repository ppa:ondrej/nginx
add-apt-repository ppa:ondrej/apache2
add-apt-repository ppa:ondrej/php
apt-get update

Tester l’installation des packages, avec l’option -–dry-run :

apt-get install --dry-run php-pear php7.2-curl php7.2-dev php7.2-gd php7.2-mbstring php7.2-zip php7.2-mysql php7.2-xml

Si tout est ok, on lance l'installation réelle, en ajustant selon les packages :

apt-get install php7.2-bz2 php7.2-cli php7.2-common php7.2-curl php7.2-dev php7.2-gd php7.2-mbstring php7.2-zip php7.2-mysql php7.2-xml php7.2-fpm php7.2-imap php7.2-json php7.2-ldap php7.2-opcache php7.2-readline

Pour apache, on modifie la version PHP utilisée par défaut :

update-alternatives --set php /usr/bin/php7.2

Si on utilise seulement Nginx, on modifie la conf :

fastcgi_pass unix:/var/run/php7.2-fpm.sock;

On relance les services :

service apache2 restart
service nginx restart
maj/php.txt · Dernière modification: 2018/07/30 10:09 de linkuff

Outils de la page