В данной статье будет рассказано как в linux переключаться между версиями php если на вашем PC установлено несколько различных версий.

Начиная с Linux Ubuntu версии 18.04 по умолчанию поставляется репозиторий с php 7.2.
По этому установка данной версии php не потребует добавления сторонних репозиториев.