From 28637cec9e0f238de98d65cdbdec876333c2cb68 Mon Sep 17 00:00:00 2001 From: dahlbaek <30782351+dahlbaek@users.noreply.github.com> Date: Fri, 22 Jun 2018 20:35:36 +0200 Subject: [PATCH] Use egrep instead of grep for ERE Some implementations of grep do not support extended regular expressions (ERE). Using egrep instead seems to be more portable. --- test/normal/keep-cmd/cmd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/normal/keep-cmd/cmd b/test/normal/keep-cmd/cmd index 66bc8431..5320605d 100644 --- a/test/normal/keep-cmd/cmd +++ b/test/normal/keep-cmd/cmd @@ -1 +1 @@ -%H$grep "foo\|bar" +%H$egrep "foo|bar"