diff options
-rw-r--r-- | fichiers/03-grep-bash.tex | 6 |
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 | |||
1073 | un résultat positif (\enquote{vrai}, en anglais \emph{true}). Le | 1073 | un résultat positif (\enquote{vrai}, en anglais \emph{true}). Le |
1074 | script \verb|countlines.sh|, donné dans le \cref{lst:countlines} | 1074 | script \verb|countlines.sh|, donné dans le \cref{lst:countlines} |
1075 | ci-dessous, utilise cette expression pour compter les lignes des | 1075 | ci-dessous, utilise cette expression pour compter les lignes des |
1076 | fichiers\footnote{Une autre façon plus simple d'écrire le même | 1076 | fichiers\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 | ||
1177 | read -p 'Combien de fois tirez-vous la queue du lion? ' rahtimes | 1177 | read -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: |
1180 | rah=1 | 1180 | rah=1 |
1181 | 1181 | ||
1182 | until [ $rah -gt $rahtimes ] | 1182 | until [ $rah -gt $rahtimes ] |
@@ -1430,7 +1430,5 @@ Fichier: makefile | |||
1430 | Votre fichier makefile compte 21 lignes. | 1430 | Votre 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} |