Salut à tous !
Plutôt que de partir dans une direction différente dans un sujet, je me décide plutôt d’en faire un autre. N’hésitez pas à me signaler si c’est en violation avec les règles du forum.
J’ai actuellement un bogue avec les espaces de travail qui provient probablement de Gnome 3.10.
Il existe un dépôt fournissant Gnome 3.12 dans Fedora 20, du coup, j’envisage d’installer Gnome 3.12.
Seulement, au lancement du dépôt (il y a environ six mois), il était réputé instable. Quelqu’un sait-il si le dépôt est désormais utilisable en production ?
À bientôt.
Le Farfadet Spatial