Slides

Galaxy Server administration - Docker and Galaxy

Resources related to configuration and maintenance of Galaxy servers

Questions of the tutorial:

  • Why Docker? What is it?
  • How to use Docker?
  • How to integrate Galaxy in Docker to facilitate its deployment?

Objectives of the tutorial:

  • Docker basics
  • Galaxy Docker image (usage)
  • Galaxy Docker (internals)
  • Galaxy flavours

Resource type: Slides

Authors: bebatut, bgruening


Activity log