2026-10-08 10:14:24 +02:00
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
return [
|
|
|
|
|
// En local (dev, tests Pest) : labs/ est un dossier voisin de portail/
|
|
|
|
|
// dans le dépôt. En production, synchronisé à part par Ansible — voir
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
// ansible/roles/portail/tasks/04-labs.yml.
|
2026-10-08 10:14:24 +02:00
|
|
|
'dossier' => env('LABS_DOSSIER', dirname(base_path()).'/labs'),
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
|
|
|
|
|
// Nombre de VM eleve.petit (768 Mo) que le serveur peut faire tourner en
|
2026-10-09 19:49:24 +02:00
|
|
|
// même temps, sessions d'élèves et stock compris : mesuré à l'étape 13
|
|
|
|
|
// (docs/capacite.md). Doit rester aligné sur la réserve mémoire de Nova
|
|
|
|
|
// (kolla/config/nova/nova-compute.conf), qui refuse au-delà.
|
2026-10-12 12:35:35 +02:00
|
|
|
'capacite_vm' => (int) env('LABS_CAPACITE_VM', 20),
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
|
|
|
|
|
'stock' => [
|
|
|
|
|
// Stacks prêtes gardées en permanence pour chaque lab du catalogue,
|
|
|
|
|
// hors séance. Le stock monte au nombre d'élèves de la classe
|
|
|
|
|
// avance_minutes avant une séance planifiée.
|
|
|
|
|
'taille_par_defaut' => (int) env('LABS_STOCK_TAILLE', 1),
|
|
|
|
|
'avance_minutes' => 10,
|
|
|
|
|
],
|
|
|
|
|
|
2026-10-12 21:12:43 +02:00
|
|
|
// Self-healing (SurveillanceVm) : fichier lu par le collecteur textfile
|
|
|
|
|
// de node_exporter. Vide en dev et en test : pas de métriques.
|
|
|
|
|
'surveillance' => [
|
|
|
|
|
'metriques' => env('LABS_SURVEILLANCE_METRIQUES'),
|
|
|
|
|
],
|
|
|
|
|
|
ajoute le stock chaud, la correction automatique et les nouveaux essais de création de stack
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage
par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances
planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues
dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création
de stack ratée est supprimée et réessayée deux fois, puis la session passe
en échec, visible du prof.
Corrige aussi trois défauts des étapes précédentes : la console se coupait
à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas
rejoindre une séance, la déconnexion n'avait pas de jeton CSRF.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
2026-10-08 21:52:16 +02:00
|
|
|
'correcteur' => [
|
|
|
|
|
'socket' => env('CORRECTEUR_SOCKET', '/run/correcteur/correcteur.sock'),
|
|
|
|
|
],
|
2026-10-08 10:14:24 +02:00
|
|
|
];
|