j'ai installé PHP7.2 sur mon PC mais quand j'essaie de php -v
c'est une erreur comme celle-ci
bash: /usr/local/bin/php: No such file or directory
puis j'essaye de taper php7.2 -v
ça marche
N'importe qui a une solution donc quand je tape php -v c'est me montrer php7.2?
Installez simplement le paquet alternatif php ( https://packages.ubuntu.com/bionic/php )
Sudo apt install php
Et vous obtiendrez de nouveaux liens symboliques
~$ ll /usr/bin/php7.2
-rwxr-xr-x 1 root root 4.7M Apr 18 16:12 /usr/bin/php7.2*
~$ ll /usr/bin/php
lrwxrwxrwx 1 root root 21 Mar 7 17:05 /usr/bin/php -> /etc/alternatives/php*
~$ ll /etc/alternatives/php
lrwxrwxrwx 1 root root 15 Mar 7 17:05 /etc/alternatives/php -> /usr/bin/php7.2*
~$ php -v
PHP 7.2.17-0ubuntu0.18.04.1 (cli) (built: Apr 18 2019 14:12:38) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.2.17-0ubuntu0.18.04.1, Copyright (c) 1999-2018, by Zend Technologies
~$ php7.2 -v
PHP 7.2.17-0ubuntu0.18.04.1 (cli) (built: Apr 18 2019 14:12:38) ( NTS )
Copyright (c) 1997-2018 The PHP Group
Zend Engine v3.2.0, Copyright (c) 1998-2018 Zend Technologies
with Zend OPcache v7.2.17-0ubuntu0.18.04.1, Copyright (c) 1999-2018, by Zend Technologies