zsh: bad option, bash works

[Cameron Simpson]

On 19Dec2011 12:47, Zind <wzmindlog at gmail.com> wrote:
| I did consult the manual of zsh and bash.
| But I didn't realize that command 'type' is implemented within the shell.
| I thought maybe something is missing in the zsh manual of command 'type'.

Think about what you expect "type" to do. Like "cd" etc, it _has_ to be
a builtin.
-- 
Cameron Simpson <cs at zip.com.au> DoD#743
http://www.cskk.ezoshosting.com/cs/

... in '59 I ran out of brakes *four times* -- and I don't mean they didn't
work very well, I mean I had none.  Like the main oil line had sheared.  You
know, so that oil, you know, when you put your foot on the floor, the oil
just went squirting out into the atmosphere.  Things like that.  You know,
I'd always believed that Colin was close to genius in his design ability
and everything -- if he could just get over this failing of his of making
things too bloody light.  I mean, Colin's idea of a Grand Prix car was
it should win the race and, as it crossed the finishing line, it should
collapse in a heap of bits.  If it didn't do that, it was built too strongly.
        - Innes Ireland