I found it like this

update-alternatives --set php /usr/bin/php7.2

the original version is 7. 0
installed. I want to cut the past
, but I found that etc/php/7.2 is also available here.
which is the right way?
what else should we pay attention to?!