zsh: bad option, bash works

[Rich Boyce]

On 18/12/11 22:11, Cameron Simpson wrote:
> On 18Dec2011 22:51, Zind<wzmindlog at gmail.com>  wrote:
> | Thanks a trillion.   :-)
>
> Did you consult the manual? "man "zshbuiltins" says:

Hmm. If you're unaware that type is a builtin, when using zsh 'man type' 
actually gives me BASH_BUILTINS(1). If I don't know what a builtin is, 
and read about type in there, it tells me that '-t' is a valid option.

Perhaps when you do 'man type' or any other of the builtins, you should 
be shown the man page for the shell you're actually using?

Rich