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