Apt
當兩個 repos 上有同一個包時，如何從 apt 列表中選擇一個包？
我想從 github repo 安裝 plank，並添加了儲存庫，但 apt 預設是從預設的 Elementary OS ppa 安裝包。（第一個包）
如何有選擇地安裝第二個？
不僅指定名稱，還指定完整版本：
apt install plank=0.11.89+git20211104…您可能想研究apt pinning以告訴 apt 它應該更喜歡特定的 PPA 而不是您的發行版儲存庫。
但是：我不知道 Elementary OS。我不知道你是否可以在你的 Ubuntu Focal 上安裝 Elementary OS 軟體包。如果沒有，你可能會遇到麻煩。