zsh: bad option, bash works

T.C. Hollingsworth tchollingsworth at gmail.com
Tue Dec 20 03:48:28 UTC 2011


On Mon, Dec 19, 2011 at 5:46 PM, Cameron Simpson <cs at zip.com.au> wrote:
> On 19Dec2011 12:33, Rich Boyce <rich at ebi.ac.uk> wrote:
> | 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?
>
> Ugh. Via the normal man command? Please not. Via some shell builtin (:-)
> alias? Maybe, provided it has big flashing lwaning lights and an
> indicator of how to get the "real" manual entry.

Why not?  What makes bash_builtins(1) any more "real" than
zshbuiltins(1)?  Why are "big flashing warning lights" needed before
giving the user information that is *actually relevant to them in
their current context*?

-T.C.


More information about the users mailing list