PVT-containers
Container management for the PVT course
A set of scripts and support files manage:
- Tomcat and Jenkins containers for each student group (
docker/pvt-manage) - Key management for pulling code from non-public repositories (
pvt-keys) - Some instructions for the tools (various under
public/) - A web page displaying a given group's data (
public/*.php)