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