Revert to safer POSIX AWK regexp.

AWK from Ubuntu 8.04 (mawk) doesn't support [[:space:]]; so for backwards compatibility use a plain ASCII space instead.
2011-11-03 18:37:36 +01:00
parent 227b9d2c0a
commit e3fce6f12b
1 changed files with 1 additions and 1 deletions
--- a/todo.sh
+++ b/todo.sh
@@ -722,7 +722,7 @@ _list() {
            {
                if (match($0, /^[0-9]+ x /)) {
                    print highlight("COLOR_DONE") $0 highlight("DEFAULT")
-                } else if (match($0, /^[0-9]+ \([A-Z]\)[[:space:]]/)) {
+                } else if (match($0, /^[0-9]+ \([A-Z]\) /)) {
                    clr = highlight("PRI_" substr($0, RSTART + RLENGTH - 3, 1))
                    print \
                        (clr ? clr : highlight("PRI_X")) \