On Fri, Apr 19, 2019 at 05:14:37PM +0200, Peter Wiersig wrote: > eingestellt, was ist dass denn /bin/sh bei dir lokal? Ich tippe auf > nicht bash oder dash und daraus resultierende Probleme. Doch, ganz normal bash. ciao, Dirk