July 18, 2018
11:40 a.m.
Lord Buddha 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.