我使用 Elementary Desktop 已经有一段时间了,但在上次更新后,Docky 坏了。我尝试使用 Docky 稳定版 ppa,但它被 Elementary ppa 覆盖,因为它们提供了更新版本的 Docky。
我想继续收到 Elementary 主题的更新,但我也想使用旧版本的 Docky。有什么办法可以做到这一点,还是我只需要提交一个错误并等待?
我使用 Elementary Desktop 已经有一段时间了,但在上次更新后,Docky 坏了。我尝试使用 Docky 稳定版 ppa,但它被 Elementary ppa 覆盖,因为它们提供了更新版本的 Docky。
我想继续收到 Elementary 主题的更新,但我也想使用旧版本的 Docky。有什么办法可以做到这一点,还是我只需要提交一个错误并等待?
固定旧版本的 docky 或为空仓库中的单个 deb 设置更高的优先级将解决问题