From ec42596e0556704eb48da01cf626f9391d631f82 Mon Sep 17 00:00:00 2001 From: Ilya Grigoriev Date: Fri, 16 Jun 2023 13:21:48 -0700 Subject: [PATCH] Readme: clarify that we use the `gawk` ERE syntax, not `grep -E` See https://github.com/Morantron/tmux-fingers/issues/96 for an issue caused by the difference between the two syntaxes. --- README.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 639e52a..9b7f396 100644 --- a/README.md +++ b/README.md @@ -128,12 +128,13 @@ set -g @fingers-pattern-1 'yolo' set -g @fingers-pattern-50 'whatever' ``` -Patterns are case insensitive, and grep's extended syntax ( ERE ) should be used. Patterns -matching the empty string are disallowed. -`man grep` for more info. +Patterns are case insensitive, and +[`gawk`'s syntax for extended regular expressions (EREs)](https://github.com/Morantron/tmux-fingers/issues/96) +should be used (see also `man gawk`). It is very similar to, but slightly +different from, the `grep -E` ERE syntax. If the introduced regexp contains an error, an error will be shown when -invoking the plugin. +invoking the plugin. Patterns matching the empty string are disallowed. ## @fingers-main-action