Я добавил ondrej PPA. И попробовал установить php 7.2, но похоже, что PPA еще не обновлен. Каковы мои обходные пути?
Вы можете попробовать добавить eoan/main PPA... Хотя, скорее всего, это не лучший путь.
$ sudo su
$ cp /etc/apt/sources.list /etc/apt/sources.list.bkp
$ echo "deb http://ppa.launchpad.net/ondrej/php/ubuntu eoan main" >> $ /etc/apt/sources.list
$ apt update
$ apt install php7.2 php-pear php7.2-gd php7.2-dev php7.2-zip php7.2-mbstring php7.2-mysql php7.2-xml php7.2-curl
$ exit
Выполните шаги, описанные ниже
1: добавьте PPA, поддерживаемый Ондреем Сури
sudo add-apt-repository ppa:ondrej/php
2: установить версии PHP 7.2
sudo apt install php7.2
3: выбрать стандартную версию PHP
sudo update-alternatives --set php /usr/bin/php7.2
4: отключить версию 7.4 или ту, которую вы используете
sudo a2dismod php7.4
5: включить версию 7.2
sudo a2enmod php7.2
6: перезапустить сервер apache
sudo systemctl restart apache2
Надеюсь, это поможет!
Сегодня я только что понял, что с последним обновлением Ubuntu PPA теперь доступна более старая версия PHP. Итак, чтобы установить php7.3 или 7.2, просто обновите sudo apt, и вы готовы к работе!