J'ai récemment mis à niveau vers gnome-shell 3.12 parce que mon bureau d'unité a cessé de fonctionner.
Tout fonctionne bien sauf que mes touches multimédia (volume, luminosité, etc.) et mes raccourcis ( Ctrl- Alt- T) ne fonctionnent plus.
J'utilise un Samsung New Series 9 avec Ubuntu 14.04. Cependant, sur un bureau Plasma, il n'y a pas de problème avec le clavier.
Dans les paramètres système, il y a la section clavier dans le matériel. Vérifiez l'onglet des raccourcis. En cliquant sur l'un des raccourcis, vous pouvez modifier l'accélérateur manuellement en saisissant ce que vous souhaitez utiliser. Exemple à partir de mon clavier: j'ai changé le bouton de mon navigateur Web du WWW standard mentionné en icône de page d'accueil (Maison) et il s'est réglé de cette façon. Je ne sais pas pourquoi les paramètres n'ont pas été installés automatiquement lors de la mise à niveau, etc. J'espère que cela vous aidera. Je suis assez nouveau et j'apprends lentement.