Erik Thuning e5e764fe95 Added the ability to read all tomcat logs from the web browser.
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
2025-05-08 19:09:09 +02:00
2022-02-09 16:52:58 +01:00
2022-02-09 16:52:58 +01:00
2024-02-20 16:25:13 +01:00

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
Container setup for the PVT course
Readme 3.7 MiB
Languages
HTML 50.6%
Shell 31.1%
PHP 12.2%
Dockerfile 4.6%
CSS 1.2%
Other 0.3%