[galaxy-dev] ?????? Re: Local Galaxy web layout

2014-03-11 Thread Weiyan Shen
Hi Sam, Using static/scripts/galaxy.menu.js,I can add/remove/change labels of my local Galaxy successfully,but I don't know how to change the positions ,as well as the Galaxy interface.So are there any details or guidances for this help?Thank youvery much. Regards, Shenwiyn

[galaxy-dev] specify file_path for each Galaxy registered users

2014-05-05 Thread Weiyan Shen
Galaxy developers: We can set the file_path in universe_wsgi.ini to specify the saved Galaxy results.But whether it is possible for us to specify file_path for each Galaxy registered users,for which multi-hard disks can be used effectively in some ways? Thank you very much for any help.

[galaxy-dev] Integrating Docker-based tools within Galaxy failed

2014-11-05 Thread Weiyan Shen
Hi, I integrated Docker-based tools‍ SMALT whin my local Galaxy by the guid:https://github.com/apetkau/galaxy-hackathon-2014/tree/master/smalt, I found my Galaxy failed to integrate‍ with my docker. My docker images‍: = docker images REPOSITORY TAG IMAGE ID

[galaxy-dev] 回复: Integrating Docker-based tools within Galaxy failed

2014-11-06 Thread Weiyan Shen
param id=docker_enabledtrue/param not param id=smalt-galaxytrue/param Does this help any? -John On Thu, Nov 6, 2014 at 1:35 AM, Weiyan Shen shenw...@gmail.com wrote: Hi, I integrated Docker-based tools‍ SMALT whin my local Galaxy by the guid:https://github.com/apetkau/galaxy-hackathon-2014/tree

[galaxy-dev] SMALT Docker integration run unsteadily

2014-11-13 Thread Weiyan Shen
Dear all , I am following the guide on https://github.com/apetkau/galaxy-hackathon-2014/tree/master/smalt‍ to test the smalt docker integration tutorial. The SMALT within docker on my local Galaxy sometimes works well as follow: 502 7789 0.0 0.0 271680 6236 ?Sl 21:42 0:00