Peter, yes, your enhanced information is correct, and to add a bit more information: Assume a user had at some point installed 0:sjekvub. Then as soon as 1:jjtofvp was made available in the tool shed, the associated installed repository in their Galaxy instance would be displayed in yellow in the Manage installed tool shed repositories page alerting the user that there are updates available for that installed repository. Updates to installed tool shed repositories are discovered when the Galaxy server is started or after the defined time delay using the following config settings: # Enable automatic polling of relative tool sheds to see if any updates # are available for installed repositories. Ideally only one Galaxy # server process should be able to check for repository updates. The # setting for hours_between_check should be an integer between 1 and 24. enable_tool_shed_check = True hours_between_check = 12 On May 13, 2013, at 3:07 PM, Peter Cock wrote:
Perhaps this is clearer?:
changset revision Installable revision ----------------------------------------------------------------------------- 0: sjekvub not any more, superseded by r1 1: jjtofvp not any more, superseded by r2 2: htocegy yes, final revision with this metadata ----------------------------------------------------------------------------- 3: jswofpt not any more, superseded by r4 4: jaqvkrc yes, final revision with this metadata
Regards,
Peter