On 6/18/22 3:05 PM, Tim Rühsen wrote:
[Configure for wget2 runs 'rm' and 'cat' each roughly 2000x - so I came up
with enabling plugins for those two commands (had to write a plugin for
'rm', not sure if it never has been accepted by bash upstream).]
The loadable `rm' has been in bash since ba
On Jun 13, 2022, Paul Eggert wrote:
> In many Gnu projects, the 'configure' script is the biggest barrier to
> building because it takes s long to run. Is there some way that we
> could improve its performance without completely reengineering it, by
> improving Bash so that it can parallelize
