Deux annexes d'installation : SSH et VirtualBox illustrée

[pguinet]

Résumé

• L'annexe unique est remplacée par deux documents autonomes, chacun avec son PDF :
  • annexe_installation_ssh.pdf : connexion à la VM distante ;
  • annexe_installation_virtualbox.pdf : installation de Debian 13 dans VirtualBox, illustrée.
• Annexe VirtualBox, adaptée aux postes du CID figés sur C: :
  • dossiers D:\PrenomNOM\sources\ et VirtualBox\ ;
  • liens, tailles et SHA256 vérifiés le 2026-10-01 : VC++ x64, VirtualBox 7.2.20, Extension Pack 7.2.20, Debian 13.7 DVD-1 ;
  • VM de 4 Go, 2 CPU et 30 Go, en réseau par pont ;
  • Debian avec bureau GNOME et serveur SSH, comptes cid/cid et root cid, cid ajouté au groupe sudo ;
  • Additions invité ;
  • SSH depuis Windows.
• Script ressources/scripts/installer_virtualbox.bat : réinstallation en un double-clic à chaque séance. Il installe VC++, VirtualBox et l'Extension Pack en silencieux, puis réenregistre la VM. Testé sous Wine uniquement.
• Captures reproductibles (outils/captures/, hors CI) :
  • installeur Debian 13.7 réel sous QEMU/KVM, avec 34 écrans repérés par OCR (environ 12 min) ;
  • VirtualBox 7.2.20 pour Linux, en français, sous Xvfb (14 écrans).
• Chaîne PDF :
  • prise en charge des images, avec des chemins relatifs à la source ;
  • une image manquante fait échouer le build ;
  • les figures sont placées dans le flux ;
  • catalogue de 12 PDF et 120 tests.
• Procédure du premier démarrage vérifiée sur le système réellement installé : ligne deb cdrom: active à désactiver, sudo présent mais cid absent du groupe, noyau mis à jour.

Spec : docs/superpowers/specs/2026-10-01-annexes-installation-design.md
Plan : docs/superpowers/plans/2026-10-01-annexes-installation.md

À vérifier au CID

• Premier lancement réel du .bat :
  • codes retour de start /wait ;
  • invite d'autorisation ;
  • pilote réseau en pont ;
  • Extension Pack sans élévation.
• Comptes Windows des stagiaires : administrateurs ou non.
• Réseau par pont : adresse DHCP attribuée à la VM et SSH depuis Windows.
• Nom de la carte réseau dans Debian sous VirtualBox (enp0s3 attendu).
• SmartScreen sur le .bat téléchargé.

🤖 Generated with Claude Code

https://claude.ai/code/session_01JeyfNQCc5qMpWwPZKnFa93