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 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/
___
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/
