Некоторое время я использовал Elementary Desktop, но после последнего обновления Docky сломался. Я пытался использовать стабильный ppa Docky, но он переопределяется элементарным ppa, поскольку они предоставляют более новую версию Docky.
Я бы хотел получать обновления темы Elementary, но я также хотел бы использовать более старую версию Docky. Есть ли способ, которым я могу это сделать, или мне просто нужно сообщить об ошибке и подождать?
Прикрепление более старой версии Docky или установка более высокого приоритета для одиночного деба в пустом репо решит проблему