Quelques scripts shell/bash (+config) pour l'administration d'un serveur pédagogique.
Pour la doc, voir README.md et le wiki