Thanks for the informations, I managed to find an easy
way to look in
the big "man bash" :)
hmm.. you know that you can search in a man page? type /show[enter]
and it will look first the first instance of the word show.
type /[enter], and it will look for the next instance. voila :-)
so I found a bash.1.gz, I un-gzip-ed it, launched a
grep show bash.1 -n
zgrep would have worked nicely, and you could have kept to file
compressed. see also zless, zcat.
hope this tricks come in handy.
maarten