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 | |
| parent | fc608922f98d89c6f312060f7bad3dbdfcd9429e (diff) | |
| download | courses-d3827537b42d3154c7f13b9cc84f21aded81c1de.tar.gz | |
typo
| -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 |