Hei hei, I just stumbled over an old entry in the Debian Bug tracker. Am Dienstag, 20. November 2018, 21:56:13 CET schrieb Ron Yorston: > Christoph Schulz wrote: > >I could not reproduce the problem with dash, neither with git dash nor > >with older versions (0.5.8, 0.5.9.1, 0.5.10.2, to name a few). > >Something must be handled differently. But I haven't compared busybox > >ash and dash sources thoroughly either. > > The same issue is present in dash and has been discussed in a mailing > list thread starting here: > > https://www.spinics.net/lists/dash/msg01652.html By chance, is that old Debian Bug here referencing the same problem? https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=541544 Maybe someone could tell Debian, then? o.O Alex