Guida avanzata di scripting Bash - Portale Posta DMI

•
•
•
echo a111b | sed -ne ’/a1\+b/p’
echo a111b | grep ’a1\+b’
echo a111b | gawk ’/a1+b/’
# Tutte queste forme si equivalgono.
# Grazie, S.C.
Capitolo 19. Espressioni Regolari
“Parentesi graffe” con escaping -- \{\} -- indicano il numero di occorrenze da verificare nella ER che
le precede.
L’escaping delle parentesi graffe è necessario perché, altrimenti, avrebbero semplicemente il loro
significato letterale. Quest’uso, tecnicamente, non fa parte della serie di ER di base.
“[0-9]\{5\}” verifica esattamente cinque cifre (nell’intervallo da 0 a 9).
Nota: Le parentesi graffe non sono disponibili come ER nella versione “classica” (non-POSIX
compliant) di awk. Comunque, gawk possiede l’opzione --re-interval che le consente (senza
dover usare l’escaping).
bash$ echo 2222 | gawk --re-interval ’/2{3}/’
2222
Perl ed alcune versioni di egrep non richiedono l’escaping delle parentesi graffe.
Parentesi -- ( ) -- racchiudono gruppi di ER. Sono utili seguite dall’operatore “|” e nelle estrazioni di
sottostringa che usano expr.
-- | -- l’operatore “or” delle ER verifica una serie qualsiasi di caratteri alternativi.
bash$ egrep ’(l|r)egge’ misc.txt
La persona che legge sembra essere meglio informata di chi non lo fa.
Il re saggio regge il proprio regno con giustizia.
428