comparison grep.xml @ 2:fc862d5bccaf draft

Uploaded
author bgruening
date Thu, 05 Sep 2013 12:42:48 -0400
parents a4ad586d1403
children 7068d1548234
comparison
equal deleted inserted replaced
1:a4ad586d1403 2:fc862d5bccaf
3 <requirements> 3 <requirements>
4 <requirement type="package" version="8.21">gnu_coreutils</requirement> 4 <requirement type="package" version="8.21">gnu_coreutils</requirement>
5 <requirement type="package" version="2.14">gnu_grep</requirement> 5 <requirement type="package" version="2.14">gnu_grep</requirement>
6 <requirement type="set_environment">UNIX_TOOLS_SCRIPT_PATH</requirement> 6 <requirement type="set_environment">UNIX_TOOLS_SCRIPT_PATH</requirement>
7 </requirements> 7 </requirements>
8 <command interpreter="sh"> 8 <command>
9 #if $color == "COLOR": 9 #if str($color) == "COLOR":
10 GREP_COLOR='1;34' grep --color=always -P "$@" -- "${url_paste}" '${input}' | \$UNIX_TOOLS_SCRIPT_PATH/ansi2html.sh > "${output}" 10 GREP_COLOR='1;34' grep --color=always -P "$@" -- "${url_paste}" '${input}' | \$UNIX_TOOLS_SCRIPT_PATH/ansi2html.sh > "${output}"
11 #else: 11 #else:
12 grep -P "$@" -- "${url_paste}" '${input}' | grep -v "^--$" > "${output}" 12 grep -P "$@" -- "${url_paste}" '${input}' | grep -v "^--$" > "${output}"
13 #end if 13 #end if
14 14