diff options
Diffstat (limited to 'fichiers/01-ligne-de-commande.tex')
| -rw-r--r-- | fichiers/01-ligne-de-commande.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/fichiers/01-ligne-de-commande.tex b/fichiers/01-ligne-de-commande.tex index 5b3b6e2..b4d438f 100644 --- a/fichiers/01-ligne-de-commande.tex +++ b/fichiers/01-ligne-de-commande.tex | |||
| @@ -120,7 +120,7 @@ fait à l'aide de la souris. En voici les principales raisons: | |||
| 120 | décrites pré\-cé\-dem\-ment. Il suffit, comme on le voit ici, de | 120 | décrites pré\-cé\-dem\-ment. Il suffit, comme on le voit ici, de |
| 121 | séparer les commandes par un point-virgule \mintinline{text}{;}; | 121 | séparer les commandes par un point-virgule \mintinline{text}{;}; |
| 122 | \item les lignes de commande acceptent des caractères appelés | 122 | \item les lignes de commande acceptent des caractères appelés |
| 123 | \emph{jokers} à l'aide desquels on peut déclencher des opérations | 123 | \emph{wildcards} à l'aide desquels on peut déclencher des opérations |
| 124 | complexes, portant sur un très grand nombre de fichiers. Par | 124 | complexes, portant sur un très grand nombre de fichiers. Par |
| 125 | exemple, le caractère \mintinline{text}{*} peut se substituer à | 125 | exemple, le caractère \mintinline{text}{*} peut se substituer à |
| 126 | n'importe quelle chaîne de caractères. Ainsi, pour reprendre ce qui | 126 | n'importe quelle chaîne de caractères. Ainsi, pour reprendre ce qui |