On Mon, 2023-09-25 at 11:54 +0200, Oliver Grawert wrote: > the [[ ]] notation is a "bashism" Oh, nice catch! Regards, K. -- ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Karl Auer (kauer at biplane.com.au) http://www.biplane.com.au/kauer