[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Parallelization of shell scripts for 'configure' etc.

From: Chet Ramey
Subject: Re: Parallelization of shell scripts for 'configure' etc.
Date: Mon, 20 Jun 2022 11:50:17 -0400
User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.15; rv:91.0) Gecko/20100101 Thunderbird/91.10.0

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 bash-5.0. There was, let's say,
pushback about it, mostly because it was inefficient in pathological cases
(I'm sure you remember the criticism), but it works fine for configure and
most other cases.

``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]