Use ppa-purge (não instalado por padrão) para desabilitar o PPA, que reverterá automaticamente seus pacotes para as versões oficiais.
Instalei gnome-shell de um repositório de terceiros há algum tempo, mas agora está no repositório oficial. Como faço para mudar e todas as dependências para o repositório oficial? Eu tentei remover o outro PPA e apt-get clean && apt-get update && apt-get upgrade , mas não parece detectar nenhuma alteração. O que eu faço?
Use ppa-purge (não instalado por padrão) para desabilitar o PPA, que reverterá automaticamente seus pacotes para as versões oficiais.
Se você removeu o outro PPA de suas fontes e ainda não obteve nenhuma atualização, isso provavelmente significa que a versão no PPA é mais recente que a do repositório oficial (mesmo se você remover o PPA, os pacotes permanecerão instalado).
Para ter certeza disso, você pode usar o comando apt-cache policy <package_name> . No meu caso, isso mostra que a versão disponível nos repositórios oficiais é 3.2.1-0ubuntu1 . No seu caso, deve mostrar que essa versão está disponível, mas você instalou uma versão diferente.
Se você realmente quiser ter a mesma versão dos repositórios oficiais, poderá fazer o downgrade do pacote. No entanto, eu não recomendaria isso, pois meu entendimento é que a versão do PPA não está causando nenhum problema. De qualquer forma, para fazer o downgrade do pacote, execute o seguinte comando:
$ sudo apt-get install gnome-shell=3.2.1-0ubuntu1
Nota: Alguns outros pacotes podem ser instalados / removidos durante o processo de downgrade se as dependências forem alteradas para as duas versões diferentes do pacote.
Você não pode alternar pacotes para um repositório diferente. Se você não precisar mais do PPA, remova-o usando a interface Software Sources (os comandos que você publicou não removem repositórios).