Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
xbindkeys [Le 21/11/2017, 14:47] bcag2 [Utilisation] ajout note |
xbindkeys [Le 22/01/2023, 12:54] (Version actuelle) 109.31.74.162 |
||
---|---|---|---|
Ligne 33: | Ligne 33: | ||
control + b | control + b | ||
</file> | </file> | ||
- | <note important>Pour que les nouvelles règles soient effectives, il faut fermer la session puis la relancer</note> | + | <note important>Pour que les nouvelles règles soient effectives, il faut soit : |
+ | |||
+ | - Fermer la session puis la relancer | ||
+ | |||
+ | - Ou redémarrer xbindkeys ''killall -HUP xbindkeys'' | ||
+ | </note> | ||
Certaines règles sont plus compliquées à décrire car les touches ne portent pas toutes des noms évidents. Pour désigner les touches en général, on peut utiliser des //keycodes//, dont les valeurs s'obtiennent en utilisant la commande ''xbindkeys -k''. | Certaines règles sont plus compliquées à décrire car les touches ne portent pas toutes des noms évidents. Pour désigner les touches en général, on peut utiliser des //keycodes//, dont les valeurs s'obtiennent en utilisant la commande ''xbindkeys -k''. | ||
Une fenêtre s'ouvrira et vous pourrez taper la combinaison de touche voulue : <code>xbindkeys -k | Une fenêtre s'ouvrira et vous pourrez taper la combinaison de touche voulue : <code>xbindkeys -k | ||
Ligne 104: | Ligne 109: | ||
=====Voir aussi===== | =====Voir aussi===== | ||
- | * [[http://www.nongnu.org/xbindkeys/|Sur nongnu.org]] | + | * [[http://www.nongnu.org/xbindkeys/xbindkeys.fr.html|Sur nongnu.org]] |
* [[https://savannah.nongnu.org/projects/xbindkeys/|Le site officiel]] | * [[https://savannah.nongnu.org/projects/xbindkeys/|Le site officiel]] | ||
* (en) [[https://askubuntu.com/questions/254424/how-can-i-change-what-keys-on-my-keyboard-do-how-can-i-create-custom-keyboard#254425|d'autres infos sur Ask-Ubuntu]] | * (en) [[https://askubuntu.com/questions/254424/how-can-i-change-what-keys-on-my-keyboard-do-how-can-i-create-custom-keyboard#254425|d'autres infos sur Ask-Ubuntu]] |