Vous pouvez également utiliser dconf-editor
. Cette option rendra le réglage persistant entre les sessions.
sudo apt-get install dconf-editor
Après avoir démarré le dconf-editor
, naviguez jusqu'à org >> gnome >> desktop >> input-sources
Ajoutez les options dont vous avez besoin dans xkb-options
. Les chaînes d'options sont entourées de guillemets simples et séparées par des virgules. Faites attention à ne pas supprimer les crochets aux extrémités.
Pour activer ctrl+alt+backspace pour tuer la session X, ajoutez 'terminate:ctrl_alt_bksp'
Vous pouvez utiliser cette méthode pour entrer la plupart des options xkb traditionnelles qui ne sont plus disponibles dans Paramètres système >> Saisie de texte. Les exceptions sont les réglages pour basculer entre les présentations du clavier, qui ne fonctionnent actuellement pas à cause d'un bug.
Pour obtenir une liste des options et de la syntaxe, utilisez man 7 xkeyboard-config
dans un terminal.
Pour exécuter les commandes équivalentes à l'utilisation de dconf-editor
à partir d'un terminal, vous utilisez
gsettings set org.gnome.desktop.input-sources xkb-options "['terminate:ctrl_alt_bksp']"
Remarquez les guillemets simples autour de la valeur, les crochets autour de cela, les guillemets doubles autour de l'ensemble. En d'autres termes, tout comme dans dconf-editor
.
Notez que cela va supprimer vos autres réglages dans xkb-options, si vous en avez.
Vous pouvez obtenir les réglages existants avec
gsettings get org.gnome.desktop.input-sources xkb-options
Si vous ne modifiez pas ces valeurs très souvent, il est peut-être plus simple de combiner les réglages existants avec le nouveau manuellement, puis d'exécuter gsettings set
.
Il est également possible de le faire d'un seul coup en ligne de commande. Je l'ai mis dans un petit script ici pour faciliter la lecture.
#!/bin/bash
options=$(echo $(gsettings get org.gnome.desktop.input-sources xkb-options)|sed 's/]//g')", 'terminate:ctrl_alt_bksp']"
gsettings set org.gnome.desktop.input-sources xkb-options "$options"
La 2ème ligne récupère les valeurs actuelles et concatène l'option terminate...
. La commande sed supprime le crochet droit des valeurs actuelles.
Remarquez que alors que la chaîne d'argument de la commande gsettings get
dans le terminal a besoin de guillemets doubles autour de la valeur
"['val', 'val2']"
la chaîne d'argument lorsqu'elle est exécutée dans un script ne doit pas avoir de guillemets doubles.
['val', 'val2']