Tout est dans le titre, J'ai mis à jour Gnome shell et depuis j'ai plein de problèmes: http://forums.archlinux.fr/topic10860.html
qui sont, à mon avis, lié au user theme. Le problème c'est que devant shell theme, j'ai un point d'exclamation.
Sur les sites des extensions, pas moyen de l'ajouter il est marqué outdated et
le paquet AUR s'appel "gnome-shell-extension-user-theme-git"
Et oui après chaque MAJ stable, il faut un peut de temps aux devs d'addon pour faire la MAJ justement.
Les "gros" addons le sont déja: Alternative Status Menu, Classic Systray, Place status Indicator, User themes... c'est comme ça, si celà ne te conviens pas, n'utilise pas d'addon, ou passe à un autre gestionnaire de bureau/fenêtre, ou place systématiquement en attente l'upgrade de gnome temps que tes addon ne sont pas à jours, voir sur https://extensions.gnome.org/local/
ASUS Rampage II gene - Intel i7-950 - Corsaire 3*2Go - Samsung SpinPoint F1 300Go
x2 - Nvidia Gtx295 - ArchLinux/Win7 Arium - X86-64.
Je ne suis pas programmeur, je suis tuto dépendant et je le vie bien !