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