@shiro, @rklm
Okay, danke. Dass While-Schleifen Probleme bereiten, wenn das Programm von stdin liest wusste ich bislang nicht. Es würde aber wohl auch erklären, wieso alles funktioniert, wenn ich den Docker-Befehl durch echo ersetze (echo liest ja nicht von stdin). Jetzt gerade kann ich auch nicht testen, weil mein Kollege gerade auf dem Server "Experimente" macht.
@Ruth-Wies
Das ist mir bewusst und auch der Grund, wieso ich mich überhaupt mit dem Server beschäftigen muss. Es soll/muss alles upgegradet werden, was aber nicht so einfach ist, weil auf der Kiste kompliziertes Zeug passiert, welches ein Vorgänger-Admin von mir mal gebastelt aber leider nicht dokumentiert hat.