Re: [galaxy-dev] Introducing Conda as a new standard for Galaxy tool dependencies

2016-08-29 Thread Peter Cock
That's great Bjoern, I was thinking we should mention this on the wiki (with a link to the documentation rather than duplicating it). There are some existing pages about the tool_dependencies.xml system - but no obvious top level introduction that I saw? https://wiki.galaxyproject.org/ToolDepende

[galaxy-dev] Galaxy migration to docker environment

2016-08-29 Thread Matthias De Smet
Hi all, We’re looking to migrate our Galaxy instance from a VM based solution to a docker based solution. Therefore, we need to move all our user and reference data. What is the best possible solution to migrate all data and change the path of said data in the database? Thanks! M __

Re: [galaxy-dev] Galaxy migration to docker environment

2016-08-29 Thread Hans-Rudolf Hotz
Hi Matthias You don't need to change the path. All data sets are stored in relative paths in the PostgreSQL database. Hence, in a setup without local modifications all you need to do: - copy the 'database/files/' folder - make sure your new Galaxy installation points to the old PostgreSQL d

[galaxy-dev] Customising the Galaxy FTP Upload interface for import from Linux

2016-08-29 Thread Peter Cock
Hello all, RE: https://wiki.galaxyproject.org/Admin/Config/UploadviaFTP We're in the process of setting up a new Galaxy server integrated into our cluster, where all the accounts will map to a Linux user and jobs on the cluster will run as that user. Because many of the users will have their inp

Re: [galaxy-dev] how to create users through Galaxy API?

2016-08-29 Thread Peter Cock
Hi Martin, I'd like to look into creating new users via the API (where we can control the email address and username format for integration with our cluster), and have the web-interface forbid users from self-registration. The read-the-docs site you mentioned in this old email (below) doesn't exi

Re: [galaxy-dev] how to create users through Galaxy API?

2016-08-29 Thread Hans-Rudolf Hotz
Hi Peter I guess it is here: https://docs.galaxyproject.org/en/master/api_doc.html Regards, Hans-Rudolf On 08/29/2016 05:27 PM, Peter Cock wrote: Hi Martin, I'd like to look into creating new users via the API (where we can control the email address and username format for integration with

Re: [galaxy-dev] how to create users through Galaxy API?

2016-08-29 Thread Peter Cock
Thanks Hans-Rudolf, Yes - you are right. The wiki does link there but it wasn't obvious to me. Reading the UserAPIController link source code suggests as long as I am authenticated as a Galaxy Admin, I could use this to create new user accounts: https://docs.galaxyproject.org/en/master/_modules/g

Re: [galaxy-dev] how to create users through Galaxy API?

2016-08-29 Thread Nicola Soranzo
Hi Peter, why not use BioBlend? https://bioblend.readthedocs.io/en/latest/api_docs/galaxy/all.html#module-bioblend.galaxy.users Cheers, Nicola Peter Cock ha scritto >Thanks Hans-Rudolf, > >Yes - you are right. The wiki does link there but it wasn't obvious to me. >Reading the UserAPIC