Re:Things I Wish I'd Known About Bash
by hyperpape on Saturday January 06, 2018 @01:59PM
(#16086843)
Did you have something in mind? I’ve read those man pages before, and I read them again today, and with the possible exception of tags in less (but I’m not sure about that), nothing seems relevant.
[ Parent
| on HN ]
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.