diff planemo_lint/planemo_lint.bash.txt @ 1:0183cad9d13b draft

planemo upload
author fubar
date Thu, 22 Feb 2024 10:48:01 +0000
parents
children
line wrap: on
line diff
--- /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