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