On Thu, May 10, 2018 at 09:12:01PM +0000, Eduardo Bustamante wrote: > El jue., may. 10, 2018 11:11 AM, Greg Wooledge <wool...@eeg.ccf.org> > escribió: > > > [...] > > > from Section 3.2.6 GNU Parallel > > > > GNU parallel is a separate project from GNU bash. You'll want to > > report the bug to the GNU parallel tracker, at > > <https://savannah.gnu.org/bugs/?group=parallel> or whatever email > > equivalent they have. > > > > FWIW, the Bash manual does have a GNU parallel section. Strange, but it is > there.
Oh... well, it's not in the manual (bash(1)). It's in this other thing called the "Bash Reference Manual", apparently at <https://tiswww.case.edu/php/chet/bash/bashref.html#GNU-Parallel> My apologies.
