Devcontainer für die Vorgaben anbieten? voll integrierte Arbeitsumgebung, nur noch Docker/Podman notwendig ...
Vorteil: alles aus einer Hand, alle Tools und Abhängigkeiten sind "installiert"
Nachteil: Support für Podman/Docker
aktuell müssen studis jdk, git und ide installieren - mit devcontainer wäre das docker/podman, git und ide/editor. auf firmenlaptops ist oft ein jdk vorhanden, aber docker verboten. docker ist fragiler (vgl. bug auf macos mit nicht-start).
andererseits könnte dann auch das skript so verteilt werden mit lokalem webserver im container ...
Devcontainer für die Vorgaben anbieten? voll integrierte Arbeitsumgebung, nur noch Docker/Podman notwendig ...
Vorteil: alles aus einer Hand, alle Tools und Abhängigkeiten sind "installiert"
Nachteil: Support für Podman/Docker
aktuell müssen studis jdk, git und ide installieren - mit devcontainer wäre das docker/podman, git und ide/editor. auf firmenlaptops ist oft ein jdk vorhanden, aber docker verboten. docker ist fragiler (vgl. bug auf macos mit nicht-start).
andererseits könnte dann auch das skript so verteilt werden mit lokalem webserver im container ...