diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-12-12 17:34:09 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-12-12 17:34:09 +0100 |
commit | d3827537b42d3154c7f13b9cc84f21aded81c1de (patch) | |
tree | eb07359ac7cc59ee1e09319494a0f1917f18c764 /fichiers | |
parent | fc608922f98d89c6f312060f7bad3dbdfcd9429e (diff) | |
download | courses-d3827537b42d3154c7f13b9cc84f21aded81c1de.tar.gz |
typo
Diffstat (limited to 'fichiers')
-rw-r--r-- | fichiers/04-grep-bash.tex | 2 |
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}. | |||
772 | crochets renvoient en fait à une commande par ailleurs disponible: | 772 | crochets 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 |
776 | est associé à une variable | 776 | est 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 |