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.
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 Brenner
> Computer Science, Undergraduate Student
> Donald Bren School of Information and Computer Sciences
> Research Computing Support
> Office of Information Technology
> University of California, Irvine
> 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:
> To search Galaxy mailing lists use the unified search at:
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:
To search Galaxy mailing lists use the unified search at: