Хорошо, мне, вероятно, трудно найти ответ на этот вопрос, поскольку я не знаю, использую ли я для этого правильную терминологию.
Короче говоря, я установил php7.0 некоторое время назад, прежде чем он был доступен в основных репозиториях пакетов для Ubuntu, поэтому я установил его, добавив адрес бета-репозитория и установив его оттуда.
Однако сейчас доступны соответствующие выпускные версии, поэтому я хотел бы удалить бета-репозиторий и переключиться на выпускные версии с этого момента. Как мне это сделать?
Кроме того, похоже, что я уже случайно обновился до последней бета-версии, поэтому я считаю, что это означает, что мне нужно будет понизить версию некоторых пакетов.
На данный момент похоже, что версия, которую я хочу, 7.0.8-0ubuntu0.16.04.3, но я установил 7.0.12-1+deb.sury.org~trusty+1. я использую aptitude для установок, если это имеет значение.
Видеть Как можно удалить PPA чтобы удалить бета-репо, а затем просто запустить
apt-get update
apt-get upgrade php7.0