C'è la possibilità di aggiungere un collegamento personalizzato contenente il tasto super.
Ad esempio aggiungo "gnome-terminal" come scorciatoia personalizzata e voglio applicare "Super + t". Anche questo è mostrato, ma non funziona. (vedi bugzilla GNOME )
Ho letto che devi sostituire "Super" con "Mod4" ma non ho trovato la posizione di questa impostazione in dconf.
Qualche idea?
Risposte:
Ho avuto lo stesso problema dopo l'aggiornamento. Il percorso dconf è org/gnome/settings-daemon/plugins/media-keys. Le scorciatoie predefinite vivono lì. Le scorciatoie personalizzate si custom-keybindings/custom0trovano più in basso sotto (o custom1 e così via).
Il passaggio <Super>a <Mod4>nelle mie scorciatoie ha risolto il problema.
Questo rapporto sui bug di gnome-shell delinea entrambi il problema con le scorciatoie da tastiera Super + Key, e descrive in dettaglio una soluzione aleatoria (che risolve completamente il problema per me!):
https://bugzilla.gnome.org/show_bug.cgi?id=659899
Fondamentalmente, il problema è che le scorciatoie personalizzate sono gestite da gnome-settings-daemon, che non raccoglie correttamente la Superkey. Il gestore delle finestre (in questo caso, mormora) può vedere il tasto Super. Quindi, Olivier Crete ha scritto un'estensione che legge le definizioni dei collegamenti personalizzati e le passa a mormorare. Ho installato l'estensione e funziona benissimo per me. Non è necessario premere due volte il tasto come alcuni dei precedenti commentatori stavano parlando.
L'estensione non è nel sito ufficiale delle estensioni di gnome perché è stata respinta (puoi leggere le recensioni esilaranti qui: https://extensions.gnome.org/review/1658 ... a quanto pare i recensori hanno problemi con la comprensione della lettura! ). Tuttavia, è possibile scaricare l'estensione tramite il commento 33 nella segnalazione di bug.
Decomprimi il file nella directory ~ / .local / share / gnome-shell / extensions, riavvia gnome-shell (Alt + F2, r) e avvia Gnome Tweak Tool e abilita l'estensione. Dovresti quindi essere bravo ad andare.
EDIT: Un'altra cosa. Se hai più di 6 scorciatoie personalizzate e attivi questa estensione, la shell gnome esploderà. L'estensione codifica a supporto di 10 scorciatoie, ma ha compilato solo il supporto per 6. Per aggiungere il supporto per un numero arbitrario di scorciatoie, nella directory degli schemi modificare il file org.gnome.shell.extensions.command-keybindings.gschema.xml e copia / incolla più rilegatura implica (dovrebbe essere evidente come farlo - assicurati solo di incrementare la rilegatura- #). Quindi, nella directory degli schemi, esegui "glib-compile-schemas". Infine, nel file extension.js, trova la riga "for (let i = 0; i <10; i ++)" e cambia 10 con il numero di associazioni totali che hai impostato. Ora dovresti avere supporto per molte più scorciatoie personalizzate. Accidenti! Nessuno ha detto che Gnome 3 è stato facile! Oh, aspetta ...
Hanno avuto lo stesso problema con Debian Wheezy e hanno cambiato "Super" in "Mod4" sotto dconf. Le vecchie scorciatoie stanno tornando, ma è ancora abbastanza fastidioso premere due volte i tasti dei caratteri.
Grazie comunque! Spero che lo risolveranno presto ...