\chapter{Éditeurs} \label{chap:editeurs} \index{Vim}\index{gedit} % ----------------------------------------------------------- \section{gedit} Gedit\footnote{dans sa version 2.30.3} est un éditeur de texte simple basé sur Gtk\index{Gtk} pour le bureau Gnome\index{Gnome}\footnote{On ne rigole pas dans le fond !}. Entre autres fonctions basique, il fait la coloration syntaxique\footnote{sauf pour le Postscript\index{postscript}, hélas.}. Par contre, contrairement\footnote{Si quelqu'un veut me contredire, il sait comment faire}, il est très facilement scriptable : il suffit d'écrire quelques lignes de shell\index{shell}. Vous voulez numéroter les lignes d'un paragraphe ? Il suffit d'un tout petit morceau de Awk\index{awk} que voici : \begin{lstlisting}[language=awk] #!/usr/bin/awk -f { printf "%5d\t%s\n", NR, $0; } \end{lstlisting} Ok ? Pigé le principe ? Il ne reste plus qu'à intégrer ce bout de code dans les outils personnalisables de Gedit. % ----------------------------------------------------------- \section{emacs} \index{emacs} \textbf{Escape Meta Alt Control Del} % ----------------------------------------------------------- \section{ed} \index{ed} \textsc{The only true one.} C'est de lui que tout est parti. % -----------------------------------------------------------