Le 04/06/2026 à 08:06, Philippe m'a répondu :
Est-il possible de les modifier pour obtenir à la place les
caractères ⩽ et ⩾ ?
Quelque chose comme :
xmodmap -e "keycode 94 = less greater 0x01002a7d 0x01002a7e"
J'ai essayé, pensant que ça changerait la configuration de la fenêtre de
terminal toute seule, mais ça n'a pas été le cas :
$ xmodmap -e "keycode 94 = less greater 0x01002a7d 0x01002a7e"
$ <>≤≥
Regarde le fichier /usr/include/X11/keysymdef.h pour plus d'informations.
Je n'ai pas ce fichier :
$ find /usr/include/X11 -name "*.h"
(rien)
$ find /usr/include -name "key*h"
/usr/include/linux/keyctl.h
/usr/include/linux/keyboard.h
/usr/include/rpcsvc/key_prot.h
Ah... je suis surpris, chez moi ce fichier fait partie du paquet xorgproto,
requis par libx11, lui-même requis par xorg-a-peu-près-tout.
Mais j'en ai trouvé un sur la toile :
https://android.googlesource.com/platform/prebuilts/gcc/linux-x86/host/x86_64-linux-glibc2.7-4.6/+/jb-dev/sysroot/usr/include/X11/keysymdef.h
En effet j'y trouve certains caractères dont le code Unicode est précédé
de 100 en hexadécimal :
#define XK_Babovedot 0x1001e02 /* U+1E02 LATIN CAPITAL
LETTER B WITH DOT ABOVE */
(et : U+1E02 = Ḃ)
Mais par exemple pour U+2264 = ≤ il y a un code particulier :
#define XK_lessthanequal 0x08bc /* U+2264 LESS-THAN OR
EQUAL TO */
Et on n'y trouve pas U+2A7D ni 0x1002a7d
Oui, j'aurais dû inclure directement l'explication présente dans keysymdef.h :
* For any future extension of the keysyms with characters already
* found in ISO 10646 / Unicode, the following algorithm shall be
* used. The new keysym code position will simply be the character's
* Unicode number plus 0x01000000.
et je peux effectivement «mapper» n'importe quel caractère UTF-8 dispo dans
ma police en le précédant par 0x100.
Normalement, les modifications opérées par xmodmap surchargent le mappage
défini par xkb. Elles prennent effet immédiatement et concernent toute la
session, pas juste un terminal.
Là, il y a une subtilité supplémentaire qui m'échappe.
L'essentiel est que tu as trouvé une solution.
--
Philippe
Les messages affichés proviennent d'usenet.