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
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
| Date | Sujet | # | Auteur | |
| 30 Jun 26 |  … |
Les messages affichés proviennent d'usenet.