[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [bug-gawk] exit in BEGIN without trigger END
|
From: |
arnold |
|
Subject: |
Re: [bug-gawk] exit in BEGIN without trigger END |
|
Date: |
Thu, 29 Nov 2018 00:29:52 -0700 |
|
User-agent: |
Heirloom mailx 12.4 7/29/08 |
Peng Yu <address@hidden> wrote:
> > or use the
> > abort extension in gawkextlib (or divide by zero).
>
> It looks like one has to install it separately. Will it be available
> in the core gawk for easy installation?
No. The gawk dist is not going to become a dumping ground for every
extension in the world, even the ones that I write.
Some of the Linux dists have picked up gawkextlib, notably Fedora,
so it may already be easy to install. If not, it's not hard to do
manually.
Arnold