Une collection de notes diverses sur des trucs et astuces pour faire des choses avec un ordinateur...
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

47 lines
1.3 KiB

\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.
% -----------------------------------------------------------