On 11 May 2018 at 07:35, Quentin L'Hours <lhoursquen...@gmail.com> wrote: > On 2018-05-10 02:24 PM, Greg Wooledge wrote: >> 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> > > This is the html version of the info documentation if I'm not mistaken, You > can see it from your terminal with: > info bash 'Basic Shell Features' 'Shell Commands' 'GNU Parallel'
Yes, on Debian stable I can see that text after installing the bash-doc package and running: info -f bash -n "GNU Parallel".
