¿Existe la posibilidad de agregar un acceso directo personalizado que contenga la súper clave?
Por ejemplo, agrego "gnome-terminal" como un acceso directo personalizado y quiero aplicar "Super + t". Esto también se muestra, pero no funciona. (ver GNOME bugzilla )
Leí que debe reemplazar "Super" con "Mod4", pero no encontré la ubicación de esta configuración en dconf.
¿Algunas ideas?
Respuestas:
Tuve este mismo problema después de actualizar. La ruta dconf es org/gnome/settings-daemon/plugins/media-keys. Los atajos predefinidos viven allí. Los accesos directos personalizados se encuentran más abajo custom-keybindings/custom0(o custom1, etc.).
Cambiar <Super>a <Mod4>mis atajos solucionó el problema.
Este informe de error de gnome-shell describe el problema con los atajos de teclado Super + Key y detalla una solución alternativa (¡que me soluciona completamente el problema!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
Básicamente, el problema es que los accesos directos personalizados son manejados por gnome-settings-daemon, que no recoge la clave Super correctamente. El administrador de ventanas (en este caso, murmurar) puede ver la tecla Super. Entonces, Olivier Crete escribió una extensión que lee las definiciones de acceso directo personalizadas y las pasa a murmurar. Instalé la extensión y funciona muy bien para mí. No es necesario presionar dos veces las teclas, como algunos de los comentaristas anteriores estaban hablando.
La extensión no está en el sitio oficial de extensiones de gnome porque fue rechazada (puedes leer las divertidas reseñas aquí: https://extensions.gnome.org/review/1658 ... ¡aparentemente los revisores están teniendo problemas con la comprensión de lectura! ) Sin embargo, puede descargar la extensión a través del comentario 33 en el informe de error.
Descomprima el archivo en su directorio ~ / .local / share / gnome-shell / extensiones, reinicie gnome-shell (Alt + F2, r), encienda Gnome Tweak Tool y habilite la extensión. Entonces deberías estar listo para irte.
EDITAR: Una cosa más. Si tiene más de 6 accesos directos personalizados y activa esta extensión, gnome shell explotará. La extensión codifica en soporte para 10 accesos directos, pero solo compiló soporte para 6. Para agregar soporte para un número arbitrario de accesos directos, en el directorio de esquemas edite el archivo org.gnome.shell.extensions.command-keybindings.gschema.xml y copie / pegue más entradas de encuadernación (debería ser evidente cómo hacerlo, solo asegúrese de incrementar la encuadernación- #). Luego, en el directorio de esquemas, ejecute "glib-compile-schemas". Finalmente, en el archivo extension.js, busque la línea "for (let i = 0; i <10; i ++)" y cambie 10 al número de enlaces totales que establezca. Ahora debería tener soporte para muchos más atajos personalizados. ¡Uf! ¡Nadie dijo que Gnome 3 era fácil! Oh espera...
He tenido el mismo problema en Debian Wheezy y he cambiado "Super" a "Mod4" en dconf. Los antiguos atajos están regresando, pero sigue siendo bastante molesto presionar las teclas de caracteres dos veces.
Gracias de todos modos! Espero que lo arreglen pronto ...