J'utilise avec bonheur l'environnement de bureau Gnome pour mener à bien mes tâches informatiques quotidiennes. Récemment, j'ai appris que Gnome 3.10 avait été publié. J'ai essayé de mettre à jour en utilisant le ppa: gnome3-team/gnome3
. Cependant, apt-get update
est incapable de trouver ce ppa. J'ai aussi découvert que j'utilise Gnome 3.4.1 et non 3.8.x. Comment puis-je mettre à jour?
Notes: J'ai installé avec Sudo apt-get install gnome
et j'utilise Ubuntu 12.04.
Toute aide est grandement appréciée. Merci pour votre temps.
Dans le terminal, lancez
Sudo add-apt-repository ppa:gnome3-team/gnome3
Sudo apt-get update
Sudo apt-get install gnome-Shell