mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-28 02:58:18 +08:00
40 lines
1.2 KiB
YAML
40 lines
1.2 KiB
YAML
---
|
|
add_system_users: no
|
|
galaxyFS_base_dir: /opt/galaxy
|
|
# TODO: use GALAXY_ROOT via cmd line instead
|
|
galaxy_server_dir: "/galaxy"
|
|
galaxy_venv_dir: "{{ galaxyFS_base_dir }}/.venv"
|
|
galaxy_repo: https://bitbucket.org/galaxy/galaxy-central
|
|
galaxy_changeset_id: stable
|
|
galaxy_manage_clone: no
|
|
galaxy_manage_download: yes
|
|
galaxy_root: "{{ galaxy_server_dir}}"
|
|
galaxy_db_dir: "{{ galaxyFS_base_dir }}/db"
|
|
galaxy_db_port: 5930
|
|
galaxy_db_log: /tmp/pSQL.log
|
|
psql_galaxyftp_password: ignoredthis
|
|
galaxy_config_file: "{{ galaxy_server_dir }}/config/galaxy.ini"
|
|
configure_docker: no
|
|
postgresql_bin_dir: /usr/lib/postgresql/9.3/bin
|
|
galaxy_manage_database: no
|
|
|
|
galaxy_user_name: "root"
|
|
galaxy_extras_install_packages: true
|
|
galaxy_job_conf_path: "/etc/galaxy/job_conf.xml"
|
|
galxy_config_file: "/galaxy/config/galaxy.ini.sample"
|
|
|
|
galaxy_web_processes: 1
|
|
galaxy_handler_processes: 2
|
|
galaxy_log_dir: "/root"
|
|
|
|
supervisor_nodaemon: true
|
|
supervisor_postgres_database_path: "{{ galaxy_db_dir }}"
|
|
|
|
galaxy_extras_config_nginx: true
|
|
galaxy_extras_config_proftpd: false
|
|
galaxy_extras_config_slurm: true
|
|
galaxy_extras_config_supervisor: true
|
|
galaxy_extras_config_galaxy_root: false
|
|
galaxy_extras_config_galaxy_job_metrics: false
|
|
galaxy_extras_config_uwsgi: true
|