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.
do-release-upgrade
is supposed to do; you are describing expected behavior. Preventing elements of 18.04 from being installed is possible (apt-pinning), but is untested and may have quite unexpected results. Advice: Remain upon 16.04 until you are ready for a new version of PHP that matches 18.04 or 20.04. – user535733 Feb 16 '20 at 16:34