Modifier la version de PHP utilisée en CLI via SSH

Ce guide fournit des instructions pour modifier la version de PHP utilisée lors de l'exécution de commandes en ligne de commande (CLI) via Secure Shell (SSH).

Si vous souhaitez plutôt modifier la version PHP de votre site Web, lisez ce guide svp.

Modifier la version de PHP utilisée en CLI

Pour changer la version de PHP utilisée en ligne de commande (CLI) via SSH:

1. se connecter en SSH (aide)
2. créer un fichier .profile s'il n'existe pas: touch ~/.profile
3. éditer le fichier .profile: nano ~/.profile
4. ajouter ce code à l'intérieur du fichier pour choisir la version de php souhaitée: export PATH=/opt/php7.4/bin:$PATH
5. charger le fichier .profile: source ~/.profile
6. vérifier la version de php: php -v

Mode interactif

Le fichier .profile mentionné ci-dessus est uniquement chargé lorsque l'interface utilisateur est utilisée. En SSH (login mode), c'est le fichier .bash_profile qui est sourcé. Et en mode interactif (non-login), c'est le fichier .bashrc qui est sourcé.

Certains scripts de déploiement sur serveur ouvrent les sessions en mode interactif (non-login) et les variables d'environnement ne sont pas chargées dans le PATH même si la session SSH est correctement configurée.

Dans ce cas il faut charger la version php dans le fichier .bashrc (export PATH="/opt/php7.4/bin:$PATH"), et sourcer dans les fichiers .bash_profile et .profile le fichier .bashrc (. ~/.bashrc).

Après avoir suivi ces étapes, la version de PHP que vous avez spécifiée devrait être chargée dans votre environnement de shell chaque fois que vous ouvrez une nouvelle session. Cela vous permettra d'exécuter des scripts en utilisant cette version de PHP en ligne de commande (CLI).

Mention de la version PHP

Si vous utilisez uniquement la mention "php", c'est la release précédant celle qui était déjà en place qui sera installée (dernière version -1): si la dernière version installée est la 8.1, c'est la 8.0 qui sera utilisée avec "php"). Il faut utiliser de préférence la mention "php-7.0", "php-7.1", etc. pour que la version ne change pas au fur et à mesure des mises à jour.