aboutsummaryrefslogtreecommitdiff
path: root/fichiers
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-09-25 01:39:02 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-09-25 01:39:02 +0200
commita1d88aa56f6b32e46b08f70f7634803e17d45564 (patch)
treee77c1c1ea480f01c79810ea20f54109896892b1d /fichiers
parent3cfe80b53fae8b3284a2612b8031d6fd70b7dcbc (diff)
downloadcourses-a1d88aa56f6b32e46b08f70f7634803e17d45564.tar.gz
typos
Diffstat (limited to 'fichiers')
-rw-r--r--fichiers/03-grep-bash.tex6
1 files changed, 2 insertions, 4 deletions
diff --git a/fichiers/03-grep-bash.tex b/fichiers/03-grep-bash.tex
index 78e3a9f..291e6c9 100644
--- a/fichiers/03-grep-bash.tex
+++ b/fichiers/03-grep-bash.tex
@@ -1073,7 +1073,7 @@ lignes de code qui suivent aussi longtemps qu'un test donné retourne
1073un résultat positif (\enquote{vrai}, en anglais \emph{true}). Le 1073un résultat positif (\enquote{vrai}, en anglais \emph{true}). Le
1074script \verb|countlines.sh|, donné dans le \cref{lst:countlines} 1074script \verb|countlines.sh|, donné dans le \cref{lst:countlines}
1075ci-dessous, utilise cette expression pour compter les lignes des 1075ci-dessous, utilise cette expression pour compter les lignes des
1076fichiers\footnote{Une autre façon plus simple d'écrire le même 1076fichiers\footnote{Pour une autre façon plus simple d'écrire le même
1077 programme, voir le \vref{lst:countlines-mk2}.}. 1077 programme, voir le \vref{lst:countlines-mk2}.}.
1078\begin{minted}[linenos,highlightlines={13,16-17}]{bash} 1078\begin{minted}[linenos,highlightlines={13,16-17}]{bash}
1079#!/bin/bash 1079#!/bin/bash
@@ -1176,7 +1176,7 @@ tirer la queue d'un lion:
1176 1176
1177read -p 'Combien de fois tirez-vous la queue du lion? ' rahtimes 1177read -p 'Combien de fois tirez-vous la queue du lion? ' rahtimes
1178 1178
1179# Définition du compteurs de rugissements: 1179# Définition du compteur de rugissements:
1180rah=1 1180rah=1
1181 1181
1182until [ $rah -gt $rahtimes ] 1182until [ $rah -gt $rahtimes ]
@@ -1430,7 +1430,5 @@ Fichier: makefile
1430Votre fichier makefile compte 21 lignes. 1430Votre fichier makefile compte 21 lignes.
1431\end{minted} 1431\end{minted}
1432 1432
1433\hfill\verb|../..| à suivre
1434
1435\printindex[cmds] 1433\printindex[cmds]
1436\end{document} 1434\end{document}