Activer PHP7.2.13 sur debian avec phpbrew

Bonjour

J'ai installé un serveur nginx, php et mysql sur debian stretch pour faire tourner une application.
php 7.0.3 a été installé avec

Code:

---

sudo apt install php-fpm

---

Ca fonctionne bien mais l'application me dit au démarrage que php ne gère pas GD, curl et les fonctions UTF8
La :hola: Lcf.vs sur le chat me conseille d'utiliser phpbrew qui me permettra de gérer les versions de php plus facilement.
Après de gros galères j'ai réussi à compiler sans erreur

Code:

---

phpbrew install 7.2.13 +neutral +gd +curl

---

j'ai donc PHP 7.2.13 sur ma machine.

soucis, quand je fais

Code:

---

phpbrew switch 7.2.13

---

rien ne se passe
mon appli m'affiche toujours être sur php 7.0.3, celui installé via les paquets de debian.

Comment puis je activer le php 7.2.13 de phpbrew ?

Merci

bonjour

pour info PHP -v me retourne bien 7.2.13, donc le problème ne vient peut être pas de phpbrew.

par contre le site qui tourne nous nginx prend la version 7.0.3 de php qui a été installé avant utilisation de phpbrew ; le problème vient peut être de nginx : une variable d'environnement qui lui dirait de prendre un autre php ?