Como trocar pacotes que vieram de um PPA para versões fornecidas pelo Ubuntu?

Como trocar pacotes que vieram de um PPA para versões fornecidas pelo Ubuntu?

Constrangedoramente, relateium insetoisso foi na verdade obra minha.

Pacotes fora do padrão

Como posso remover com segurança os pacotes 11.0~git e substituí-los (se necessário) pela mesa fornecida pelo Ubuntu, conforme sugerido no comentário no relatório de bug?

Tentei selecionar todos eles para remoção, mas eles querem retirar quase todos os pacotes do sistema junto com eles.

Acredito (embora não tenha certeza) que eles vieram deste repositório que vejo na lista, desativado durante a atualização:

$ sudo ppa-purge ppa:paulo-miguel-dias/mesa
Updating packages lists
PPA to be removed: paulo-miguel-dias mesa
Warning:  Could not find package list for PPA: paulo-miguel-dias mesa

O PPA ofensor parece serhttp://ppa.launchpad.net/paulo-miguel-dias/mesa/ubuntu

Responder1

Instale o PPA Purge usando o sudo apt install ppa-purge. Em seguida, use ppa-purgepara limpar o PPA ofensivo (padoka PPA) e restaurar os arquivos encontrados nos repositórios do Ubuntu usando sudo ppa-purge ppa:paulo-miguel-dias/mesa.

informação relacionada