On Sun. 25 Apr 2021 at 20:40, Erik Flodin <erik@xxxxxxxxx> wrote: > > None of these versions are really grep friendly though. If that is > needed, a third variant with two full strings can be used instead. > Just let me know which one that's preferred. Out of all the propositions, my favorite is the third variant with two full strings. It is optimal in terms of computing time (not that this is a bottleneck...), it can be grepped and the source code is easy to understand.