[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Parallelization of shell scripts for 'configure' etc.
From: |
Michael Orlitzky |
Subject: |
Re: Parallelization of shell scripts for 'configure' etc. |
Date: |
Tue, 14 Jun 2022 08:42:33 -0400 |
User-agent: |
Evolution 3.44.1 |
On Mon, 2022-06-13 at 15:39 -0700, Paul Eggert wrote:
>
> I've wanted something like this for *years* (I assigned a simpler
> version to my undergraduates but of course it was too much to expect
> them to implement it) and I hope some sort of parallelization like this
> can get into production with Bash at some point (or some other shell if
> Bash can't use this idea).
>
It looks like PaSh itself was designed and built well. The authors use
multiple test suites and PaSh is comparable to other shells in
correctness. Ultimately you wouldn't want a runtime dependency on
python in your /bin/sh, but as a first step... can PaSh run ./configure
already?
- Parallelization of shell scripts for 'configure' etc., Paul Eggert, 2022/06/13
- Re: Parallelization of shell scripts for 'configure' etc.,
Michael Orlitzky <=
- Re: Parallelization of shell scripts for 'configure' etc., Nick Bowler, 2022/06/14
- Re: Parallelization of shell scripts for 'configure' etc., Nick Bowler, 2022/06/14
- Re: Parallelization of shell scripts for 'configure' etc., Richard Purdie, 2022/06/14
- Re: Parallelization of shell scripts for 'configure' etc., Demi Marie Obenour, 2022/06/16
- Re: Parallelization of shell scripts for 'configure' etc., Alex Ameen, 2022/06/16
- Re: Parallelization of shell scripts for 'configure' etc., Bob Friesenhahn, 2022/06/17
- Re: Parallelization of shell scripts for 'configure' etc., Paul Eggert, 2022/06/14
- Re: Parallelization of shell scripts for 'configure' etc., Bruno Haible, 2022/06/15
- Re: Parallelization of shell scripts for 'configure' etc., Warren Young, 2022/06/16
- Re: Parallelization of shell scripts for 'configure' etc., Zack Weinberg, 2022/06/16