[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/