fixar a versão antiga do docky ou definir uma prioridade mais alta para o deb único em um repositório vazio resolveria o problema
Eu tenho usado o Elementary Desktop por um tempo, mas depois da última atualização, o Docky quebrou. Eu tentei usar o ppa estável do Docky, mas ele foi substituído pelo ppa elementar, já que eles fornecem uma versão mais recente do Docky.
Eu gostaria de continuar recebendo atualizações para o tema Elementary, mas também gostaria de usar a versão mais antiga do Docky. Existe alguma maneira que eu possa fazer isso, ou eu simplesmente tenho que arquivar um bug e esperar?
fixar a versão antiga do docky ou definir uma prioridade mais alta para o deb único em um repositório vazio resolveria o problema
Tags ppa