Re: [galaxy-dev] user specific access/options

2014-05-19 Thread Hans-Rudolf Hotz
Hi Emma Have a look at https://wiki.galaxyproject.org/Admin/Config/Access%20Control and https://wiki.galaxyproject.org/UserDefinedToolboxFilters as an alternative you could also do a bad hack using dynamic_options Regards, Hans-Rudolf On 05/19/2014 10:38 AM, Emma Prudent wrote: Hi, I

[galaxy-dev] user specific access/options

2011-09-01 Thread Jennifer Jackson
Hi Petr, I am going to forward your email to the galaxy-dev list so that the development community can offer comments/suggestions. Best, Jen Galaxy team On 8/30/11 2:27 AM, Petr Novak wrote: Hi everybody, I am developing the application on Galaxy server. One of the requirement is to create