It would be useful to have access $__history_id__ in the same way as one
accesses $__user_id__. I am running a local instance of galaxy and have
modified the following file to achieve this:
lib/galaxy/jobs/__init__.py
At line ~694:
incoming['__user_name__'] = user_name
+ if job.hist
> Can you provide a usage scenario for including history_id in the tool
dict?
A simple example is the creation of a full history based log file.
My more detailed need is to parallel an existing analysis pipeline in
galaxy, using the same underlying code. Reusing the same code from within
galaxy ha
> How are Galaxy histories shared amongst users?
My misunderstanding was that histories shared between users remain a single
entity. Prompted by your question I have now tried history sharing, and
see that the second user makes a distinct copy of the first user's history,
thus changing the history