Não há uma maneira oficial de atualizar o gnome para a versão mais recente sem usar o ppa. No entanto, eles geralmente funcionam muito bem. Este site deve fornecer as instruções de que você precisa:
Usaremos o Terminal para adicionar os dois PPAs do GNOME 3:
sudo add-apt-repository ppa:gnome3-team/gnome3-staging sudo add-apt-repository ppa:gnome3-team/gnome3Em seguida, atualize suas fontes de software:
sudo apt updateFinalmente atualize (se você já tem o GNOME-Shell instalado) usando:
sudo apt dist-upgradeOu instale o GNOME (se você ainda não o usa):
sudo apt install gnome gnome-shell