Bug#951687: #951687 mawk vs gawk incompatibility

2020-02-22 Thread Thomas Dickey
On Thu, Feb 20, 2020 at 03:32:00PM +0100, Julien Puydt wrote: > Le jeudi 20 février 2020 à 05:04 -0500, Thomas Dickey a écrit : > > The referenced script uses "asort", which is a gawk extension (rather > > than, for instance, being a POSIX feature). It's not part of BWK > > (one-true-awk), either.

Bug#951687: #951687 mawk vs gawk incompatibility

2020-02-20 Thread Julien Puydt
Le jeudi 20 février 2020 à 05:04 -0500, Thomas Dickey a écrit : > The referenced script uses "asort", which is a gawk extension (rather > than, for instance, being a POSIX feature). It's not part of BWK > (one-true-awk), either. > > According to the bug-reporting guidelines, that makes this a fea

Bug#951687: #951687 mawk vs gawk incompatibility

2020-02-20 Thread Thomas Dickey
The referenced script uses "asort", which is a gawk extension (rather than, for instance, being a POSIX feature). It's not part of BWK (one-true-awk), either. According to the bug-reporting guidelines, that makes this a feature request, aka "wishlist" item. -- Thomas E. Dickey https://invisibl