This repository was archived by the owner on Aug 20, 2020. It is now read-only.
This repository was archived by the owner on Aug 20, 2020. It is now read-only.
Playground integration #15
Description
Quoting @jeluard
A simple mechanism must be defined so that each tutorial can generate an up-to-date docker image compliant with the playground. It could provide basic customisation hooks (open custom ports, commands to be run as part of the image generation, ..)