Classroom experience: lessons learned from teacher feedback #24
Description
Description
Research synthesis from teacher blog posts, experience reports, and academic research on using devcontainers for classroom teaching. Each item below captures a real pain point reported by instructors, with assessment of whether ocaml-devcontainer already addresses it.
Sources:
- VS Code Containers in Education
- GitHub Classroom + Codespaces lessons
- Devcontainers in 2025
- GitHub for Courses
- ECE454 Setup
- UCSD Study: Valstar, Griswold, Porter — ITiCSE 2020 (416 students, 71% preferred DevContainers)
Sub-issues
- 1. Slow container startup time — Classroom: slow container startup time #25 — Addressed: pre-built two-layer image strategy means students pull, not build
- 2. Dependency drift breaks assignments — Classroom: dependency drift breaks assignments #26 — Addressed: Dockerfile pins all tools via opam, weekly rebuilds keep packages current
- 3. Git confusion dominates support requests — Classroom: git confusion dominates support requests #27 — Needs: student quickstart guide, sensible git defaults
- 4. OneDrive/cloud sync destroys git repos — Classroom: OneDrive/cloud sync destroys git repos #28 — Needs: warning in setup docs
- 5. Student identity mapping is painful — Classroom: student identity mapping is painful #29 — Not relevant: GitHub Classroom concern, not an image concern
- 6. Setup time savings should be highlighted in docs — Classroom: highlight setup time savings in docs #30 — Needs: README section quantifying the benefit, highlight offline work and assignment portability
- 7. Codespaces storage quotas and prebuild guidance — Classroom: Codespaces storage quotas and prebuild guidance #31 — Needs: document image size, tier limits, prebuild management, minimum hardware specs
- 8. Document postCreateCommand patterns for tutorial authors — Classroom: document postCreateCommand patterns for tutorial authors #32 — Needs: lifecycle hook guide and examples
From UCSD study (Valstar et al., ITiCSE 2020)
- 9. Docker installation is the real setup barrier — Classroom: Docker installation is the real setup barrier #33 — Needs: platform-specific setup guide (Windows/WSL2, macOS, Linux)
- 10. Dedicate first session to setup + troubleshooting FAQ — Classroom: dedicate first session to setup + troubleshooting FAQ #34 — Needs: troubleshooting.md, instructor guidance for week 1
- 11. Document use as autograder base image — Classroom: document use as autograder base image #35 — Needs: Gradescope/autograder integration guide, strong selling point