aboutsummaryrefslogtreecommitdiff
path: root/fichiers
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-12-12 17:34:09 +0100
committerRobert Alessi <alessi@robertalessi.net>2019-12-12 17:34:09 +0100
commitd3827537b42d3154c7f13b9cc84f21aded81c1de (patch)
treeeb07359ac7cc59ee1e09319494a0f1917f18c764 /fichiers
parentfc608922f98d89c6f312060f7bad3dbdfcd9429e (diff)
downloadcourses-d3827537b42d3154c7f13b9cc84f21aded81c1de.tar.gz
typo
Diffstat (limited to 'fichiers')
-rw-r--r--fichiers/04-grep-bash.tex2
1 files changed, 1 insertions, 1 deletions
diff --git a/fichiers/04-grep-bash.tex b/fichiers/04-grep-bash.tex
index 48ea55f..45cf6eb 100644
--- a/fichiers/04-grep-bash.tex
+++ b/fichiers/04-grep-bash.tex
@@ -772,7 +772,7 @@ droits comme le montre la ligne~7 du \vref{lst:if-then-else}.
772crochets renvoient en fait à une commande par ailleurs disponible: 772crochets renvoient en fait à une commande par ailleurs disponible:
773\verb|test|. La commande \verb|test| renvoie en fait la sortie 773\verb|test|. La commande \verb|test| renvoie en fait la sortie
774\verb|0| si le résultat est \emph{vrai} et \verb|1| si le résultat est 774\verb|0| si le résultat est \emph{vrai} et \verb|1| si le résultat est
775\emph{faux}. Le terminal ne retourne pas le resultat, mais celui-ci 775\emph{faux}. Le terminal ne retourne pas le résultat, mais celui-ci
776est associé à une variable 776est associé à une variable
777\verb|$?| que l'on peut afficher par la commande: 777\verb|$?| que l'on peut afficher par la commande:
778\commande{echo}\mintinline{bash}|echo $?|. En voici quelques 778\commande{echo}\mintinline{bash}|echo $?|. En voici quelques