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/