[bug-gawk] Odd behavior of gawk regexp

[Huang, Jack]

In essence, “{}” can’t be used to represent repetition.

 

-bash-3.2$ gawk --version

GNU Awk 3.1.5

Copyright (C) 1989, 1991-2005 Free Software Foundation.

 

This program is free software; you can redistribute it and/or modify

it under the terms of the GNU General Public License as published by

the Free Software Foundation; either version 2 of the License, or

(at your option) any later version.

 

This program is distributed in the hope that it will be useful,

but WITHOUT ANY WARRANTY; without even the implied warranty of

MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

GNU General Public License for more details.

 

You should have received a copy of the GNU General Public License

along with this program; if not, write to the Free Software

Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.

 

-bash-3.2$ echo 02:33 | gawk '/^0{1}/'

-bash-3.2$ echo 02:33 | gawk '/^0\{1}/'

-bash-3.2$ echo 02:33 | gawk '/^0\{1\}/'

-bash-3.2$ echo 02:33 | gawk '/^0/'

02:33