Hi Laure, Maybe you can use the toolbox filtering [ https://galaxyproject.org/user-defined-toolbox-filters/ | https://galaxyproject.org/user-defined-toolbox-filters/ ] option to do that ? For example defining group of users and filtering toolbox regarding the user group...
Cheers, Yvan De: "Laure Quintric" <[email protected]> À: "Peter Cock" <[email protected]> Cc: "Galaxy-dev" <[email protected]> Envoyé: Mardi 12 Septembre 2017 15:16:56 Objet: Re: [galaxy-dev] Displaying tool select list according to user Hi Peter, Thank you for your answer. Maybe I should try your option below : Le 12/09/2017 à 14:56, Peter Cock a écrit : I can't find the email thread, but I recall someone previously trying to do something with a single large example.loc file for all users but with an extra column for filtering by account name. I forget if they got these changes to work or not. But in this case, did you remember how to write the filter to match the extra column with the username to the connected account name ? as he $__user_id__ variable could not be user between <filter> tags ? Laure ___________________________________________________________ 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/ -- ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Yvan Le Bras, PhD @Yvan2935 <°))))>< Projet 65 Millions d'observateurs Bureau 34, Station de Biologie marine BP 225, 29182 Concarneau CEDEX --- MNHN EGB/CESCO UMR 7204 43 rue Buffon 75005 PARIS tél.: +33 (0) 2 98 50 99 35 / +33 (0) 6.10.43.96.51 [email protected]
___________________________________________________________ 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/
