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_id. The history_id is exclusive to a single user. While a history_id would still provide a level of control that I would desire, I now see I can avoid unintended name collisions with the already available user_id.
Nevertheless... I am not sure I understand the resistance to providing a unique id associated with a history. Thanks, -tim
On Thu, Sep 26, 2013 at 10:22 AM, Jeremy Goecks jeremy.goecks@emory.eduwrote:
I'm still not fully understanding your usage scenario.
A simple example is the creation of a full history based log file.
I imagine that this would be an ideal use of the history API. Rather than having tools log history, write a script that uses the API to generate a history log.
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 has the great advantage of ensuring exactly the same process is run, allowing the "official" analysis to be repeated by outsiders. This pipeline works on a number of inputs (paired end reads, multiple replicates, etc.) and goes through a number of intervening steps where massive temporary files may be reused in several steps, then ultimately deleted after obtaining final results. The existing pipeline, outside of galaxy, creates these shared files in a temporary directory, exclusive to the "experiment" being run. In Galaxy however, ensuring that an "experiment" named by one user will not collide with one named by another user, accidentally overwriting existing files becomes a great deal easier if the temporary experiment directories have history_id based names.
Why not use mktemp() to ensure a unique directory that can house an experiment's data?
Since the histories could be shared among multiple users, the user_id will not be effective.
How are Galaxy histories shared amongst users?
J.