Hi Nik,
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,
Dan
On Mar 14, 2015, at 6:36 PM, Nikhil Joshi najoshi@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 http://bioinformatics.ucdavis.edu/ 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: https://lists.galaxyproject.org/
To search Galaxy mailing lists use the unified search at: http://galaxyproject.org/search/mailinglists/