Ce guide explique comment modifier la version PHP directement en ligne de commande lorsque vous exécutez des scripts PHP en utilisant PHP CLI (Interface de Ligne de Commande) sur un Hébergement Web Infomaniak.

Préambule

• Cela peut être utile lorsque vous devez modifier temporairement certains paramètres pour un script spécifique ou pour une session PHP.
• Si vous utilisez uniquement la mention php ci-dessous, 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.
• Prenez connaissance de cet autre guide si vous recherchez des informations au sujet de la configuration de la version de PHP définie sur le Manager Infomaniak.
   

Modifier la version de PHP utilisée en CLI

Il est possible de facilement modifier la version de PHP utilisée en ligne de commande (CLI) via SSH:

1. Connectez-vous sur le serveur en SSH (besoin d'aide ?).

2. Créez un fichier .profile s'il n'existe pas:

   touch ~/.profile

3. Editez le fichier .profile:

   nano ~/.profile

4. Ajoutez ce code à l'intérieur du fichier pour choisir la version de php souhaitée:

   export PATH=/opt/php7.4/bin:$PATH

5. Chargez le fichier .profile:

   source ~/.profile

6. Vérifiez 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).