comparison rgToolFactory.xml @ 8:78c04d9fe621 draft

Uploaded
author fubar
date Wed, 19 Mar 2014 21:10:03 -0400
parents 1fcf3fda325f
children e4e097a41064
comparison
equal deleted inserted replaced
7:1fcf3fda325f 8:78c04d9fe621
1 <tool id="rgTF" name="Tool Factory" version="0.10"> 1 <tool id="rgTF" name="Tool Factory" version="0.10">
2 <description>Makes scripts into tools</description> 2 <description>Makes scripts into tools</description>
3 <requirements> 3 <requirements>
4 <requirement type="package" version="9.10">ghostscript</requirement> 4 <requirement type="package" version="9.10">ghostscript</requirement>
5 <requirement type="package" version="1.3.18">graphicsmagick</requirement> 5 <requirement type="package" version="1.3.18">graphicsmagick</requirement>
6 <requirement type="package" version="1.1">toolfact</requirement>
7 </requirements> 6 </requirements>
8 <command interpreter="python"> 7 <command interpreter="python">
9 #if ( $__user_email__ not in $__admin_users__ ): 8 #if ( $__user_email__ not in $__admin_users__ ):
10 rgToolFactory.py --bad_user $__user_email__ 9 rgToolFactory.py --bad_user $__user_email__
11 #else: 10 #else: