From 583fb1dc237d80ebbc5418e1b7a8d3ecdd00603a Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Wed, 27 Mar 2024 17:51:43 +0100 Subject: [PATCH 1/4] add text for not matching pattern --- tools/text_processing/text_processing/grep.xml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/tools/text_processing/text_processing/grep.xml b/tools/text_processing/text_processing/grep.xml index ad7ef265e7..99a7c35081 100644 --- a/tools/text_processing/text_processing/grep.xml +++ b/tools/text_processing/text_processing/grep.xml @@ -125,6 +125,21 @@ + + + + + + + + + + + + + + + Date: Wed, 27 Mar 2024 23:19:41 +0100 Subject: [PATCH 2/4] grep accept exit code 1 as success and use `--no-group-separator` --- .../text_processing/text_processing/grep.xml | 34 ++++++++++++++----- 1 file changed, 26 insertions(+), 8 deletions(-) diff --git a/tools/text_processing/text_processing/grep.xml b/tools/text_processing/text_processing/grep.xml index 99a7c35081..a12f61f254 100644 --- a/tools/text_processing/text_processing/grep.xml +++ b/tools/text_processing/text_processing/grep.xml @@ -8,6 +8,9 @@ grep sed + + + grep --version | head -n 1 '${output}' #else: - grep + grep $regex_type -A $lines_after -B $lines_before + --no-group-separator $invert $case_sensitive -- '${url_paste}' - '${infile}' | grep -v "^--$" > '${output}' + '${infile}' > '${output}' #end if ]]> @@ -78,8 +82,8 @@ + - @@ -90,9 +94,9 @@ - - + @@ -103,7 +107,8 @@ - + + @@ -114,7 +119,8 @@ - + + @@ -125,7 +131,8 @@ - + + @@ -140,6 +147,17 @@ + + + + + + + + + + + Date: Wed, 27 Mar 2024 23:24:19 +0100 Subject: [PATCH 3/4] bump --- tools/text_processing/text_processing/macros.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/text_processing/text_processing/macros.xml b/tools/text_processing/text_processing/macros.xml index e841880757..3771bf8598 100644 --- a/tools/text_processing/text_processing/macros.xml +++ b/tools/text_processing/text_processing/macros.xml @@ -6,7 +6,7 @@ 9.3 - 0 + 1 23.1 From b985ba7bea101c1bf59b2639aba4fcc44eff6772 Mon Sep 17 00:00:00 2001 From: Matthias Bernt Date: Wed, 27 Mar 2024 23:25:32 +0100 Subject: [PATCH 4/4] indentation --- tools/text_processing/text_processing/grep.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/text_processing/text_processing/grep.xml b/tools/text_processing/text_processing/grep.xml index a12f61f254..f7d531884d 100644 --- a/tools/text_processing/text_processing/grep.xml +++ b/tools/text_processing/text_processing/grep.xml @@ -26,7 +26,7 @@ -- '${url_paste}' '${infile}' | '$__tool_directory__/ansi2html.sh' > '${output}' #else: - grep + grep $regex_type -A $lines_after -B $lines_before