There is probably some way to read arbitrary files from the container via some kind of crafted path, but it's their own container so meh. Minimal due diligence has been done to sanitize the path a bit at least. Slightly rearranged the start page as well to make it more logical
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)
Description
Languages
HTML
50.6%
Shell
31.1%
PHP
12.2%
Dockerfile
4.6%
CSS
1.2%
Other
0.3%