Re: [galaxy-dev] Change in toolshed disallowing install of previous versions of tools?

2015-08-21 Thread Martin Čech
Hi Aaron, I am just following up with a note that this has been fully resolved. Please let us know if you find any more problems. Thank you for using Galaxy. Martin On Wed, Aug 12, 2015 at 7:21 PM Aaron Petkau aaron.pet...@gmail.com wrote: Heh, always something that's discovered after the

Re: [galaxy-dev] Change in toolshed disallowing install of previous versions of tools?

2015-08-21 Thread Aaron Petkau
Hello Martin, Yep, this is fully resolved for me. Thanks for following up, and for all the hard work you and the rest of the team do. Aaron On Fri, Aug 21, 2015 at 9:55 AM, Martin Čech mar...@bx.psu.edu wrote: Hi Aaron, I am just following up with a note that this has been fully resolved.

[galaxy-dev] Change in toolshed disallowing install of previous versions of tools?

2015-08-12 Thread Aaron Petkau
Hey everyone, So I rely a lot on specific versions of tools in the toolshed, and am often testing out the install process to make sure everything's working. Today I noticed that my install process was failing, and it looks like it's due to not being able to install previous versions of tools

Re: [galaxy-dev] Change in toolshed disallowing install of previous versions of tools?

2015-08-12 Thread Martin Čech
Hi Aaron, this is most probably connected with a bug that we discovered today in the 'reset metadata for all my repositories' feature. Unfortunately we discovered it by running it on Main Tool Shed. We have an alternate (time consuming) way of fixing individual repos (like I just did for the