Eu adicionei este PPA há muito tempo, mas quando estou tentando instalar o polo-file-managerpacote do Tony George ele não estava disponível ao fazer um apt install, então removi o PPA e o adicionei novamente, mas o resultado ainda é o mesmo .
( sudo add-apt-repository --remove ppa:teejee2008/ppa)
Ao usar uma ferramenta GUI como Synaptic ou Muon, o PPA mostra apenas selenee timeshift, não a lista completa de pacotes ou, nesse caso, polo-file-manager.
apt updatenão mostra nenhum erro/aviso. a chave gpg relacionada está presente na pasta apt.
O que está acontecendo aqui e como faço para corrigir isso?
Muito obrigado.