diff grep.xml @ 3:7068d1548234 draft

Uploaded
author bgruening
date Sun, 06 Oct 2013 08:22:36 -0400
parents fc862d5bccaf
children 56e80527c482
line wrap: on
line diff
--- a/grep.xml	Thu Sep 05 12:42:48 2013 -0400
+++ b/grep.xml	Sun Oct 06 08:22:36 2013 -0400
@@ -1,13 +1,13 @@
-<tool id="unixtools_grep_tool" name="Search in textfiles" version="0.1.1">
+<tool id="tp_grep_tool" name="Search in textfiles" version="0.1.1">
     <description>(grep)</description>
     <requirements>
         <requirement type="package" version="8.21">gnu_coreutils</requirement>
         <requirement type="package" version="2.14">gnu_grep</requirement>
-        <requirement type="set_environment">UNIX_TOOLS_SCRIPT_PATH</requirement>
+        <requirement type="set_environment">TP_SCRIPT_PATH</requirement>
     </requirements>
     <command>
         #if str($color) == "COLOR":
-            GREP_COLOR='1;34' grep --color=always -P "$@" -- "${url_paste}" '${input}' | \$UNIX_TOOLS_SCRIPT_PATH/ansi2html.sh > "${output}"
+            GREP_COLOR='1;34' grep --color=always -P "$@" -- "${url_paste}" '${input}' | \$TP_SCRIPT_PATH/ansi2html.sh > "${output}"
         #else:
             grep -P "$@" -- "${url_paste}" '${input}' | grep -v "^--$" > "${output}"
         #end if