awk/testdir/p.19

3 lines
43 B
Plaintext
Raw Normal View History

2019-06-23 09:13:57 +00:00
BEGIN { digits = "^[0-9]+$" }
$2 !~ digits