On 2018-07-18 05:40, Paul Eggert wrote:
OK, works with "gawk" Yes, the problem here is that Debian (and Ubuntu) use an ancient version of mawk that dumps core too often. They really should upgrade. I can reproduce the problem with mawk 1.3.3 (November 1996), which is the default on Ubuntu 16.04.4 LTS. I cannot reproduce the problem with mawk 1.3.4 20171017. I reported this problem to the Ubuntu maintainers here: https://bugs.launchpad.net/ubuntu/+source/mawk/+bug/1782342 I assume It'll take some time for Ubuntu and/or Debian to push fixes out. In the meantime I installed the attached commentary patch to the tzdb makefile. You can also work around the problem by running: sudo update-alternatives --config awk and choosing gawk instead of mawk.
Reminds me of limited AT&T/Sun SunOS/Solaris utilities doing this regularly. Saw this on Debian with a simple AWK script. Anyone tried BSD/BWK OTA (One True) awk? -- Take care. Thanks, Brian Inglis, Calgary, Alberta, Canada