Хорошо, так что мне, вероятно, трудно найти ответ на этот вопрос, поскольку я не знаю, использую ли я правильная терминология для него.
Короче говоря, я установил 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