Are things with the repository working otherwise, beyond not being able to
delete this directory? Can you let me know which repository you are having
trouble with and I can take a look at it. Also, if you don’t mind can you share
the tarball you are using (privately is ok)?
Thanks for using Galaxy,
On Mar 14, 2015, at 6:36 PM, Nikhil Joshi <najo...@ucdavis.edu> wrote:
> Hi all,
> So I accidentally added a directory of files to my repo that shouldn't be
> there and I am trying to delete it, but I get an "Internal Server Error". I
> also tried to just upload a new tarball and chose "Yes" for overwriting the
> files, but that directory won't delete. I'm guessing because the only thing
> in that directory is a .git directory..... for some reason it has trouble
> deleting the directories that begin with a dot?!? Anyways, can someone help
> me out?
> - Nik.
> Nikhil Joshi
> Bioinformatics Analyst/Programmer
> UC Davis Bioinformatics Core
> najoshi -at- ucdavis -dot- edu
> 530.752.2698 (w)
> Please keep all replies on the list by using "reply all"
> in your mail client. To manage your subscriptions to this
> and other Galaxy lists, please use the interface at:
> To search Galaxy mailing lists use the unified search at:
Please keep all replies on the list by using "reply all"
in your mail client. To manage your subscriptions to this
and other Galaxy lists, please use the interface at:
To search Galaxy mailing lists use the unified search at: