Mise à jour

This commit is contained in:
Antoine Amarilli 2011-07-07 23:30:19 -04:00
parent 872a36ff83
commit ae99ddd57c

View file

@ -10,11 +10,17 @@
<h1>Taper de l'Unicode</h1> <h1>Taper de l'Unicode</h1>
<div class="encadre">
Attention, cette page n'est pas à jour. En 2011, UTF-8 est proposé par
défaut et fonctionne sur les machines de l'école sans avoir à faire
d'efforts particuliers.
</div>
<div class="resume"> <div class="resume">
<p> <p>
Nous allons voir ici comment taper de l'Unicode, ce qui recouvre plus ou Nous allons voir ici comment taper de l'Unicode, ce qui recouvre plus ou
moins toutes les langues et tous les alphabets bizarres de la planète, et moins toutes les langues et tous les alphabets bizarres de la planète, et
peut-être même d'au delà (l'intégration du Tengwar est en discussion). peut-être même d'au-delà (l'intégration du Tengwar est en discussion).
</p> </p>
</div> </div>
@ -73,11 +79,8 @@ de l'utilisateur.
<div class="ens"> <div class="ens">
<p> <p>
Pour obtenir un terminal en Unicode, il suffit d'utiliser la commande L'émulateur de terminal par défaut proposé sur les machines de l'École
<code>uxterm</code>, ou l'entrée de menu « terminal Unicode » si on a une (<code>gnome-terminal</code> supporte l'Unicode.
config assez récente. Pour le moment, ça ne marche que sur les Sun, mais il
est possible que ça marche également sur les PC dans un avenir proche ; en
attendant il est possible de le lancer en affichage distant.
</p> </p>
</div> </div>
@ -94,6 +97,8 @@ applications prévues pour.
Ceci concerne en particulier Pine, ainsi que Flrn (Forum ; même si celui-ci Ceci concerne en particulier Pine, ainsi que Flrn (Forum ; même si celui-ci
a un semblant d'options pour gérer Unicode). a un semblant d'options pour gérer Unicode).
</p> </p>
<div class="encadre">
Les informations qui suivent ne sont probablement pas à jour.
</div> </div>
<p> <p>
@ -144,7 +149,7 @@ data ».
</p> </p>
<p> <p>
Sous macos, avec Terminal.app, il est également possible d'avoir un terminal Sous MacOS, avec Terminal.app, il est également possible d'avoir un terminal
Unicode : dans le menu « Terminal, Réglages de la fenêtre », sous-menu Unicode : dans le menu « Terminal, Réglages de la fenêtre », sous-menu
« Affichage », sous-sous-menu « Codage du jeu de caractères », « Affichage », sous-sous-menu « Codage du jeu de caractères »,
choisissez « Unicode (UTF-8) ». choisissez « Unicode (UTF-8) ».
@ -174,18 +179,12 @@ avec l'option <code>fileencoding</code>.
</p> </p>
<p> <p>
<strong>Avec Emacs</strong>, cela dépend de la version. Nous ne parlerons <strong>Avec Emacs</strong>, si on l'utilise en mode graphique, il
que de la <em>version 21.3</em> (qui sera très prochainement&#8482; n'arrive pas forcément à trouver tout seul les bonnes polices (on peut
installée à l'ENS ; ce sera probablement vrai aussi pour les versions taper correctement, mais tous les caractères exotiques sont affichés
ultérieures). comme des carrés). Une solution est de mettre la ligne suivante dans
</p> votre fichier <code>.Xresource</code> qui se trouve dans votre
répertoire personnel :
<p>
Si l'on utilise Emacs en mode graphique, il n'arrive pas forcément à trouver
tout seul les bonnes polices (on peut taper correctement, mais tous les
caractères exotiques sont affichés comme des carrés). Une solution est de
mettre la ligne suivante dans votre fichier <code>.Xresource</code> qui se
trouve dans votre répertoire personnel :
</p> </p>
<pre> <pre>
Emacs.font: 9x15 Emacs.font: 9x15