php -v Показывает не ту версию -- ubuntu

Может быть так, что команда:

ll /etc/alternatives/php

показывает всё нормально --

/usr/bin/php7.1*

Но при этом почему-то alternatives вообще не используется, а например в ответ на команду php отрабатывает исолняемый файл:

/usr/local/bin/php

Ситуация

Возможно у вас не используется ссылка:

/usr/bin/php

-- а система использует в более высоком приоритете какую-то другую символическую ссылку -- или вообще бинарник:

/usr/local/bin/php

-- если это был бинарник, а не символическая ссылка, то переименуйте на всякий случай (а не удаляйте)

Решение

Выясните где лежит бинарник нужной вам версии php (у меня это /usr/bin/php7.1) и выполните команду вида:

sudo update-alternatives --install /usr/local/bin/php php /usr/bin/php7.1 12

где 12 -- число приоритета (можно взять именно его).

ответ команды может быть вроде того:

update-alternatives: renaming php link from /usr/bin/php to /usr/local/bin/php
update-alternatives: warning: forcing reinstallation of alternative /usr/bin/php7.1 because link group php is broken

Key Words for FKN + antitotal forum (CS VSU):