Elementary Desktopをしばらく使用していますが、最後の更新後、Dockyが壊れています。 Docky安定ppaを使用してみましたが、Dockyの新しいバージョンを提供するため、Elementaryppaによってオーバーライドされます。
Elementaryテーマのアップデートを引き続き受け取りたいのですが、古いバージョンのDockyも使用したいと思います。これを行う方法はありますか、それとも単にバグを報告して待つ必要がありますか?
古いバージョンのdockyを固定するか、空のリポジトリで単一のdebに高い優先度を設定すると、問題が解決します。