Hi Igno,

>   $ man ksh | grep '^...[^ ]'

That's nice, but has a bug in that space can be the fourth character on
a line that starts with a non-space.

    $ comm -3 <(man bash | grep '^...[^ ]' | sort) \
    >     <(man bash | egrep '^([^ ]|...[^ ])' | sort)
            BUG REPORTS
            GNU Bash-4.1           2009 December 29                BASH(1)
            JOB CONTROL
            SEE ALSO
    $

Cheers, Ralph.

Reply via email to