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] 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]] | ||