Di recente ho aggiornato a gnome-shell 3.12 perché il mio desktop unity ha smesso di funzionare.
Tutto funziona bene, tranne che i miei tasti multimediali (volume, luminosità, ecc.) E le mie scorciatoie ( Ctrl- Alt- T) hanno smesso di funzionare.
Sto usando un Samsung New Series 9 con Ubuntu 14.04. Tuttavia, su un desktop Plasma non ci sono problemi con la tastiera.