Tan sólo un pequeño problema con las combinaciones de teclas (no funcionaban los atajos de teclado personales) y un problema con Chromium (se congelaba al abrir una segunda pestaña).
Nada grave, todo ha quedado solucionado con la actualización a Gnome 3.12.1
Todo lo demás, funcionando perfectamente; o no...
Ayer me dí cuenta que no podía añadir aplicaciones al inicio de sesión, ni ejecutando
gnome-session-properties (que ha desaparecido del mapa), ni haciéndolo gráficamente a través de
gnome-tweak-tool (de hecho, en esta herramienta aparece la lista de aplicaciones que se ejecutan al inicio de sesión, y deja quitarlas pero no añadir más)
Parece ser un bug
Mientras se soluciona, he aquí una manera de esquivar el problema;
Creando un archivo *.desktop en la carpeta ~/.config/autostart
Tan fácil como, por ejemplo:
cp /usr/share/applications/guake.desktop ~/.config/autostart/
Y listo (en la siguiente sesión, tendré mi terminal Guake preparada desde el inicio).
Espero que os sirva.
