Re: chevrons (c'était Re : FI : questions pertinentes ou pas ?)
On Wed, 17 May 2000 15:28:22 +0200 (CEST),
"Frédéric Petit" <Frederic.Petit@univ-mlv.fr> wrote :
> Jean-Christophe Dubacq writes:
>
> > Ou bien, sous X11, faire un xmodmap/fichier xkb adéquat, et taper, par
> > exemple, AltGr < et AltGr >, « comme ça ». C'est assez mnemotechnique,
> > je trouve.
> Oui, y a plein de façons, selon les goûts de chacun...
>
> Moi, ils sont sur une touche inutilisée, le ².
Gagné !
> Moins... mnemotechnique, mais pas de AltGr.
Je n'allais pas répondre en public à la question sur les « chevrons »,
mais comme je note au moins 8 messages dans l'enfilade, je me sens
pressé de dévoiler le « mystère » et je confirme du même coup les
excellentes réponses qui précèdent :-) [en apportant une petite
précision]
1036 $ grep guillemot /etc/X11/xinit/.Xmodmap
keycode 49 = guillemotleft guillemotright
donc effectivement sur la touche ².
Marc
P.S. Si on veut ne pas faire les choses à moitié, on peut accoler des
des espaces insécables aux « guillemots » (bien pratique quand on
remet en forme un paragraphe). Sous Emacs, par exemple, on les obtient
avec C-x 8 SPC.
Reply to: