Hello everyone,
I have a question how to access the history name and tool number (the number displayed in the history) in the XML tool definition file.
We want all tools of a history to log to a common log file using the tool number to distinguish the different tools. Thus, I'd like to do something similar to this:
<tool id="custom_dummy" name="dummy">
<command interpreter="php" >dummy.php -log ${history_name}.log -log_id ${tool_number}</command>
.
</tool>
Is there a way to do this? I could not find it using the documentation or the mailing list archive.
Best wishes,
Marc
galaxy-dev@lists.galaxyproject.org