Re: [galaxy-dev] tool-shed delete problem

Hi Alper, I recommend using Planemo shed_update command ( http://planemo.readthedocs.org/en/latest/commands.html#shed-update-command ) to perform TS repo updates instead of the UI to resolve this issue. Planemo is an official set of utilities for Galaxy tool development. M. On Tue, Nov 3, 2015 a

Re: [galaxy-dev] tool-shed delete problem

No, I am trying to upload the right files but I cannot delete the wrong files there. > On Nov 3, 2015, at 2:30 AM, Björn Grüning wrote: > > Hi Alper, > > there is no option to delete a repository, but you can deprecate one. Is > this what you are trying? > > Cheers, > Bjoern > > Am 03.11.201

Re: [galaxy-dev] tool-shed delete problem

Hi Alper, there is no option to delete a repository, but you can deprecate one. Is this what you are trying? Cheers, Bjoern Am 03.11.2015 um 03:30 schrieb Kucukural, Alper: > Hi, > Could you help me to delete crisprseek from https://toolshed.g2.bx.psu.edu/? > I am the owner but cannot delete. I

[galaxy-dev] tool-shed delete problem

Hi, Could you help me to delete crisprseek from https://toolshed.g2.bx.psu.edu/? I am the owner but cannot delete. I got “Internal Server Error”. Thanks, Alper ___ Please keep all replies on the list by using "reply all" in your mail client.