parentesi graffe in awk reg exp

Question

Sto cercando di abbinare un numero fisso di cifre usando parentesi graffe in awk ma non ottengo alcun risultato.

# This outputs nothing 
echo "123" | awk '/^[0-9]{3}$/ {print $1;}' 

# This outputs 123 
echo "123" | awk '/^[0-9]+$/ {print $1;}' 

Devo fare qualcosa di specifico per utilizzare le parentesi graffe?

Answer 1

Mac OS X awk (BSD awk) funziona con il primo comando mostrato:

$ echo "123" | /usr/bin/awk '/^[0-9]{3}$/ {print $1;}' 
123 
$ 

GNU awk non lo fa. L'aggiunta di backslash non aiuta GNU awk. L'uso dell'opzione --re-interval fa, e così fa usando --posix.

$ echo "123" | /usr/gnu/bin/awk --re-interval '/^[0-9]{3}$/ {print $1;}' 
123 
$ echo "123" | /usr/gnu/bin/awk --posix '/^[0-9]{3}$/ {print $1;}' 
123 
$ 

(non sono sicuro dove mawk 1.3.3 del 1996 viene, ma è probabilmente il momento di ottenere una versione aggiornata del awk per la vostra macchina.)