Recientemente actualicé a gnome-shell 3.12 porque mi escritorio de la unidad dejó de funcionar.
Todo funciona bien, excepto que mis teclas multimedia (volumen, brillo, etc.) y mis atajos ( Ctrl- Alt- T) dejaron de funcionar.
Estoy usando un Samsung New Series 9 con Ubuntu 14.04. Sin embargo, en un escritorio Plasma no hay problema con el teclado.
En la Configuración del sistema está la sección del teclado en hardware. Verifique la pestaña de accesos directos. Al hacer clic en uno de los atajos, puede cambiar el acelerador manualmente escribiendo lo que desea usar. El ejemplo de mi teclado es que cambié el botón de mi navegador web del WWW estándar que se menciona en el icono de la página de inicio (House) y se configuró de esa manera. No estoy seguro de por qué la configuración no se instaló automáticamente cuando se actualizó, etc. Espero que esto ayude. Soy bastante nuevo y poco a poco estoy aprendiendo.