48 lines
1.3 KiB
TeX
48 lines
1.3 KiB
TeX
|
\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.
|
||
|
|
||
|
% -----------------------------------------------------------
|
||
|
|
||
|
|