News for hackers. Stuff that matters.
Re:Things I Wish I'd Known About Bash by nine_k on Sunday January 07, 2018 @12:48AM (#16089471)
I'm sorry for sounding condescending! I did not understand your problem initially.

What helps me somehow is the fact that definitions in man pages are usually start on a new line and are indented by several spaces.

    man bash 
    / -o
This finds an inline mention, not very useful.

    man bash
    /^ +-o
This finds the definition: start of line, then some space, then the -o.

There are no comments on this comment yet.