Ajout d'un petit paragraphe sur les éditeurs de texte.

This commit is contained in:
mlnguyen 2003-04-29 14:45:09 +00:00
parent 332c34f3fe
commit 37c387bb19

View file

@ -20,6 +20,27 @@ Pour tout ce qu'on ne dit pas dans ces pages de
entraîner, vous pouvez faires ces <a href="exercices/">exercices</a>. entraîner, vous pouvez faires ces <a href="exercices/">exercices</a>.
</div> </div>
<h2>Éditer un texte</h2>
<p>Un éditeur vous permet de créer ou modifier un texte, sans mise en
forme (contrairement à un traitement de textes. Plusieurs éditeurs
sont disponibles à l'ENS, comme emacs, joe, nano, pico ou encore
vim.</p>
<ul>
<li> <a href="&url.tuteurs;editeurs/cercles.html">Les 7 cercles des
éditeurs de texte</a> : comment apprendre progressivement à utiliser
emacs, nano et vim (incomplet)</li>
<li> un <a href="&url.tuteurs;editeurs/emacs.html">tutorial emacs</a>,
complété par une <a
href="&url.tuteurs;editeurs/super_emacs.html">collection d'astuces</a>
pour les utilisateurs confirmés et un <a
href="&url.tuteurs;editeurs/emacs_memo.html">aide-mémoire</a> des
principales commandes</li>
<li> un tutorial encore incomplet pour <a
href="&url.tuteurs;editeurs/vim.html">vim</a></li>
</ul>
<h2>Savoir taper des accents</h2> <h2>Savoir taper des accents</h2>
<p>Une des premières choses à savoir faire sur les stations Sun <p>Une des premières choses à savoir faire sur les stations Sun
@ -92,7 +113,7 @@ diverses...</li>
<div class="metainformation"> <div class="metainformation">
Auteur : Joël Riou. Dernière modification le Auteur : Joël Riou. Dernière modification le
2002-12-20. 2003-04-29.
</div> </div>
</body> </body>