On Sat, May 25, 2019 at 12:02:29AM +0200, Martin Neitzel wrote: > You'd make many more people happy by simply using "#!/bin/sh". Thanks, yes that (<<) is nice. I thought `while read' was a bashism. But no. So this works with sh as well. Mayuresh