Galaxy developers, I am programmer from BGI-Shenzhen,China.And I came accross some problems in the Galaxy docker and I need your advices. As we known,Galaxy supports running tools within Docker containers since August 2014 release.I don't clear know why we need to develop the galaxy docker and what will improve by running galaxy tools whitin docker.Are there any details about that ? ‍We also want to make a Galaxy Tool Shed repository for Chinese biomedicine researchers,can us get the Galaxy Tool Shed repository‍ from https://toolshed.g2.bx.psu.edu/ <https://toolshed.g2.bx.psu.edu/repos/crs4/edena>? And how to make it ? Thank you very much. ‍‍ Best regards Steven Shen ------------------ 沈维燕 | Steven Shen China National GeneBank Mobile +86 186 8228 6556 Building No.11, Beishan Industrial Zone, Yantian District, Shenzhen China ___________________________________________________________ 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/