I put together a script to do this. It is described in the galaxy-dev
thread titled: "[galaxy-dev] user creation using API". It doesn't
actually use the API, it uses the db_shell.py script.

Hope this helps.

-John



On Thu, Apr 25, 2013 at 7:11 PM, Adam Brenner <aebre...@uci.edu> wrote:
> Howdy All,
>
> I was wondering if anyone has created a command line tool that will
> add users to the Galaxy user database?
>
> I did look into switching to external user authentication via nginx,
> however, this will result in us using the campus wide kerberos system
> and allowing ~30,000 people access to Galaxy... and thus offering us
> less fine grain control to Galaxy.
>
> Anything anyone has to share would be much appreciated,
> -Adam
>
> --
> Adam Brenner
> Computer Science, Undergraduate Student
> Donald Bren School of Information and Computer Sciences
>
> Research Computing Support
> Office of Information Technology
> http://www.oit.uci.edu/rcs/
>
> University of California, Irvine
> www.ics.uci.edu/~aebrenne/
> aebre...@uci.edu
> ___________________________________________________________
> 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:
>   http://lists.bx.psu.edu/
>
> 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:
  http://lists.bx.psu.edu/

To search Galaxy mailing lists use the unified search at:
  http://galaxyproject.org/search/mailinglists/

Reply via email to