Il est évident que ce bureau est de plus en plus sollicité. Bon nombre des personnes à qui j’ai installé Linux Mint 17 désirent tourner avec Gnome 3 en lieu et place de Cinnamon (peut être pour couper définitivement avec l’éternel duo menu démarrer-barre des tâches.Peut être pour l’ergonomie.Peut être pour le style « moderne » de l’interface….Va savoir ,Charles…)
Je vais donc vous expliquer comment installer Gnome 3.12 (c’est pour l’instant la version la plus stable et la plus récente installable sur votre Mint 17 )tout en évitant les conflits rendants l’installation impossible et/ou le bureau inutilisable
La première chose à faire est de désinstaller le gestionnaire de connexion propre à Linux Mint
$sudo apt-get remove mdm
Ajouter ensuite le ppa pour Gnome 3.12
$sudo apt-add-repository ppa:gnome3-team/gnome3-staging
Actualiser les dépôts
$sudo apt-get update
Mettre à jour (Cinnamon utilise des bouts de Gnome)
$sudo apt-get upgrade
Installer Gnome 3
$sudo apt-get install gnome-desktop-environment
Olivyeahh
le blog d'Olivyeahh 
A reblogué ceci sur 1969 : Génération perdue ?et a ajouté:
Pour ceux qui préfère Gnome à Cinnamon…
le depot staging est apprendre avec précaution non??
c est un depot testing non stable, ou je me trompe ??
gnome shell stable est présent dans ubuntu et dérive depuis les sources off n est ce pas ??
Le dépot de ricotz est unstable.
Le fait est qu’a une ou deux semaines prêts la version de Gnome +1 ne peut etre integré aux dépots Ubuntu
(Manque de temps pour l’integrer)
Exemple:La sortie de Gnome 3.14 correspondait à peu de chose prêt à la sortie de Ubuntu-Gnome 14.10 ,c’est donc la version 3.12 qui été présente dans cette nouvelle version de la distribution
Les PPa gnome et gnome staging permettent de mettre à jour l’environnement vers Gnome 3.14,les 2 étant complémentaires