I have updated my Ubuntu 16.04 server to 18.04. The upgrade script (do-release-upgrade) worked correctly except that it also updaded PHP7.0 to PHP7.2 without asking. The problem is that I make use of PHP scripts not compatibles with PHP7.2 and I don't want to upgrade PHP now.
Since I have done an upgrade test on a VMWare virtual machine, I can easily restart the whole process.
But how to prevent the upgrade script from updating PHP7.0 ?
Thanks.