From e6f4d79160936874dee18faf634096c32505e8ef Mon Sep 17 00:00:00 2001
From: "David A. Madore" <david+git@madore.org>
Date: Wed, 8 Nov 2017 15:18:00 +0100
Subject: Add remark about escaping regexps under Unix shell.

---
 notes-inf105.tex | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'notes-inf105.tex')

diff --git a/notes-inf105.tex b/notes-inf105.tex
index e759d97..1f2bb05 100644
--- a/notes-inf105.tex
+++ b/notes-inf105.tex
@@ -1268,6 +1268,14 @@ contient un astérisque, on utilisera
 régulière à utiliser est \texttt{\char"5C*} et que cette chaîne de
 caractères s'écrit \texttt{"\char"5C\char"5C*"} en Java.
 
+De même, dans le shell Unix, pour rechercher une ligne d'un fichier
+contenant un \texttt{x} suivi d'un nombre quelconque de \texttt{y}
+suivi d'un \texttt{z}, on utilisera \texttt{egrep \char"27xy*z\char"27
+  \ monfichier}, les guillemets (simples) ayant pour fonction d'éviter
+que le shell Unix interprète lui-même l'astérisque comme un caractère
+spécial (dont le rôle est différent de l'étoile de Kleene, quoique
+suffisamment proche pour pouvoir causer une confusion).
+
 
 \section{Automates finis}\label{section-finite-automata}
 
-- 
cgit v1.2.3

