Я установил php7.3 в Ubuntu 19.04, но кажется, что старый бинарный файл все еще на месте. Что я делаю не так?
$ apt search php7.3
Sorting... Done
Full Text Search... Done
php7.3-common/now 7.3.4-1+ubuntu19.04.1+deb.sury.org+3 amd64 [installed,local]
documentation, examples and common module for PHP
$ php --version
PHP 7.2.17-1+ubuntu19.04.1+deb.sury.org+3 (cli) (built: Apr 10 2019 10:52:05) ( NTS )
D'ой. Я удалил PPA и не установил пакет php7.3-cli раньше. Добавление PPA-файла Ondrej Sury и установка php7.3-cli решили эту проблему.