--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/planemo_lint/planemo_lint.bash.txt Thu Feb 22 10:48:01 2024 +0000 @@ -0,0 +1,7 @@ +#raw +cp $1 foo.tar +tar -xvf foo.tar +TOOLNAME=`find . -name "*.xml"` +echo "$$$$$TOOLNAME = $TOOLNAME" > $2 +planemo lint $TOOLNAME >> $2 +#end raw