playbook-tool-shed-servers.yaml

---

- name: Tool Shed Servers
  hosts: tool_shed_servers
  roles:
    - role: tool_shed_defaults
      tags: general
    - role: galaxyproject.general.virtual
      tags: general
    - role: galaxyproject.general.packages
      tags: general
    - role: galaxyproject.general.locale
      tags: general
    # FIXME: on a fresh deploy, this precreates the postgres user with the wrong uid/gid and homedir if run before
    # postgres, in order to deploy ssh keys
    - role: galaxyproject.general.users
      tags: general
    - role: galaxyproject.general.paths
      tags: general
    - role: galaxyproject.general.copy
      tags: general
    - role: galaxyproject.postfix
      tags: postfix
    - role: galaxyproject.postgresql
      tags: postgres
    - role: galaxyproject.postgresql
      tags: postgres
    - role: galaxyproject.postgresql_objects
      become: true
      become_user: postgres
      tags: postgres
    - role: galaxyproject.miniconda
      become: true
      become_user: "{{ tool_shed_privileged_user }}"
      tags: conda
    - role: tool_shed_privileged
      become: true
      become_user: "{{ tool_shed_privileged_user }}"
      tags: shed
    - role: tool_shed_unprivileged
      become: true
      become_user: "{{ tool_shed_user }}"
      tags: shed
    - role: tool_shed_root
      tags: shed
    - role: galaxyproject.general.cron
      tags: general
    - role: galaxyproject.nginx
      tags: nginx
    - role: error_pages
      tags: nginx