L'exécutable PHP par défaut peut être trouvé en utilisant :
$ which php
Dans la plupart des cas, il s'agit d'un lien vers une version PHP particulière :
lrwxrwxrwx 1 root root 21 aug 15 2016 /usr/bin/php -> /usr/bin/php7.1
Pour le changer en une version différente, il suffit de le lier à un autre
$ sudo rm /usr/bin/php
$ sudo ln -s /usr/bin/php5.6 /usr/bin/php
Avant de réassocier, vous devez vous assurer que la version cible de PHP est installée.
Peut-être que vous pouvez essayer de réparer l'environnement !
$ php -v
PHP 5.4.x (cli) ...
$ set PATH="/usr/lib64/php5.6/bin:$PATH"
$ php -v
PHP 5.6.x (cli) ...
Ou, si vous ne souhaitez pas modifier le PATH pour votre session shell, vous pouvez étendre la modification à la commande actuelle uniquement :
$ php -v
PHP 5.4.x (cli) ...
$ env PATH="/usr/lib64/php5.6/bin:$PATH" php -v
PHP 5.6.x (cli) ...
$ php -v
PHP 5.4.x (cli) ...