Environnement de formation Solr

À propos · Accueil

Le service

Chaque participant dispose d'un serveur Linux à lui seul pendant toute la formation. Ce serveur exécute la stack de la formation et réunit tout ce qu'il faut pour les travaux pratiques : terminal, interfaces d'administration, requêtes et présentations.

Tout se fait avec un simple navigateur, depuis une page d'accueil personnelle, à l'adresse https://<identifiant>.<domaine>/.

Fonctionnalités

Avantages

Comparaison avec un accès classique à des serveurs de formation, par SSH pour le terminal et par HTTPS pour les interfaces web.

Accès classique : SSH + HTTPSCet environnement : tout en HTTPS
Poste du participantclient SSH à installer et à configurer (clés, tunnels), souvent impossible sur un poste verrouilléun navigateur récent, rien à installer
Réseau de l'entrepriseport 22 sortant à ouvrir, ainsi que les ports des services ou des tunnels SSH, souvent bloqués par les pare-feu et les proxysport 443 seul, celui de tout site web ; passage par le proxy de l'entreprise
Connexioncompte SSH d'un côté, accès à chaque service de l'autreune connexion unique pour tous les services
Exposition des servicesports des services ouverts sur Internet, ou tunnels à maintenirservices joignables seulement depuis le serveur ; tout passe par HTTPS, avec des certificats reconnus par les navigateurs
Mise en routeconsignes différentes selon le système et les logiciels du poste ; démarrage retardé par les problèmes d'accèsune adresse, un identifiant, un mot de passe ; mêmes consignes pour tous
Travail au quotidienterminal, navigateur et outil de requêtes dans des fenêtres séparéesprésentations, terminal, consoles et requêtes dans le même navigateur

Et aussi

Stack technique

CoucheComposants
Hébergementun serveur virtuel par participant, Ubuntu 24.04 LTS
Accès HTTPSCaddy : reverse proxy, certificats Let's Encrypt renouvelés automatiquement, connexion unique par cookie de session
TerminalWetty (xterm.js, Socket.IO) : session SSH sur le serveur lui-même ; repli sur des requêtes HTTP classiques si les WebSockets sont bloqués
ConteneursDocker et Docker Compose : Caddy et Wetty d'un côté, stack de la formation de l'autre ; commandes make
Sitepages HTML statiques sans bibliothèque externe (accueil, connexion, console de requêtes) ; présentations Slidev
Sécuritéseul le port 443 est ouvert aux participants ; services de la formation liés à 127.0.0.1 ; pare-feu ufw, fail2ban, mises à jour de sécurité automatiques ; mot de passe propre à chaque participant
Déploiementscripts Bash et make lancés depuis le poste du formateur : DNS (un sous-domaine par participant), installation, site, contrôles