mirror of
https://github.com/galaxyproject/galaxy.git
synced 2026-10-29 17:42:12 +08:00
50 lines
1.6 KiB
YAML
50 lines
1.6 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: "/galaxy_venv"
|
|
galaxy_vcs: git
|
|
galaxy_git_repo: https://github.com/galaxyproject/galaxy.git
|
|
galaxy_changeset_id: dev
|
|
galaxy_download_url: https://codeload.github.com/galaxyproject/galaxy/tar.gz/dev
|
|
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.5/bin
|
|
galaxy_manage_database: no
|
|
# avoid some packages unneeded packages install by ansible-galaxy-os
|
|
install_maintainance_packages: false
|
|
galaxy_user_name: "root"
|
|
galaxy_extras_install_packages: true
|
|
galaxy_job_conf_path: "/etc/galaxy/job_conf.xml"
|
|
galaxy_build_client: no
|
|
|
|
galaxy_web_processes: 1
|
|
galaxy_handler_processes: 2
|
|
galaxy_log_dir: "/root"
|
|
|
|
galaxy_extras_config_nginx: false
|
|
galaxy_extras_config_proftpd: false
|
|
galaxy_extras_config_slurm: true
|
|
galaxy_extras_config_supervisor: false
|
|
galaxy_extras_config_galaxy_root: false
|
|
galaxy_extras_config_galaxy_job_metrics: false
|
|
galaxy_extras_config_uwsgi: false
|
|
|
|
manage_shed_db: yes
|
|
galaxy_toolshed_manage_static_setup: yes
|
|
galaxy_toolshed_manage_database: no
|
|
galaxy_toolshed_server_dir: "/galaxy"
|
|
galaxy_toolshed_venv_dir: "{{ galaxy_venv_dir }}"
|
|
|
|
galaxy_toolshed_config_file: "{{ galaxy_toolshed_server_dir }}/config/tool_shed.ini"
|
|
galaxy_toolshed_config_templates:
|
|
- {dest: '{{ galaxy_toolshed_config_file }}', src: tool_shed.ini.j2}
|