Remarque: cela est encore totalement cassé sur 12.10 et gnome3.4.2. voir les bogues de référence sur la réponse du haut pour les solutions de contournement.
gcb
Réponses:
29
GNOME 3.4 utilise gsettings pour les raccourcis clavier tandis qu'Ubuntu utilise toujours gconf pour les raccourcis clavier. Pour cette raison, il n'y a pas de moyen facile d'activer les raccourcis natifs pour gnome-shell.
Si vous voulez vraiment les utiliser, vous devez les activer manuellement pour qu'ils fonctionnent.
Pour le raccourci clavier du terminal, recherchez Clavier dans l'aperçu de gnome-shell et ouvrez-le.
Passez aux raccourcis personnalisés et ajoutez un nouveau raccourci en cliquant sur le bouton +. Ajoutez un nom pertinent au raccourci. Saisissez gnome-terminal pour la commande et ajoutez le raccourci clavier souhaité.
Et, pour l'autre, vous devez avoir installé dconf-tools pour activer le raccourci pour show-desktop .
Ouvrez l'éditeur dconf, accédez à org→ gnome→ desktop→ wm→ keybindings→ show-desktop→ Modifiez la valeur en '<Control><Alt>D'.
Si vous souhaitez que d'autres options utilisent également les raccourcis natifs, recherchez-les dans l'éditeur dconf dans les sous-options mentionnées ci-dessus et modifiez-les en conséquence.
Launch Terminal est déjà disponible sous lanceurs. Mais cela ne fonctionne pas
Starx
@Starx Vous devez le créer vous-même. Sinon, cela ne fonctionnera pas. Voir les commentaires pertinents sur le rapport de bogue.
jokerdino
1
Ok, le terminal a fonctionné, maintenant je n'en ai pas autant sous l'éditeur dconf. Dois-je créer tout ça?
Starx
1
@MariusGedminas si vous lisez le dernier lien sur les références de réponse, il y a quelques solutions. c'est une douleur dans le *** (devrait être le slogan gnome3) mais faisable. écrire "<Mod4> t"
Réponses:
GNOME 3.4 utilise gsettings pour les raccourcis clavier tandis qu'Ubuntu utilise toujours gconf pour les raccourcis clavier. Pour cette raison, il n'y a pas de moyen facile d'activer les raccourcis natifs pour gnome-shell.
Si vous voulez vraiment les utiliser, vous devez les activer manuellement pour qu'ils fonctionnent.
Pour le raccourci clavier du terminal, recherchez Clavier dans l'aperçu de gnome-shell et ouvrez-le.
Passez aux raccourcis personnalisés et ajoutez un nouveau raccourci en cliquant sur le bouton +. Ajoutez un nom pertinent au raccourci. Saisissez gnome-terminal pour la commande et ajoutez le raccourci clavier souhaité.
Et, pour l'autre, vous devez avoir installé dconf-tools
pour activer le raccourci pour show-desktop .
Ouvrez l'éditeur dconf, accédez à
org→gnome→desktop→wm→keybindings→show-desktop→ Modifiez la valeur en'<Control><Alt>D'.Si vous souhaitez que d'autres options utilisent également les raccourcis natifs, recherchez-les dans l'éditeur dconf dans les sous-options mentionnées ci-dessus et modifiez-les en conséquence.
Les références:
la source