Kervin wrote:
>
<snip>
>
> Did you try "man bash" or man <command>. The man pages for the shells
> are very, very long, but the ones for the individual commands can be
> very helpful online docs, eg. "man while" or "man read".
>
<snip>
The problem with that is that the man pages do not document the shell
builtins (they have a section in man bash), but the external programs,
which may have more or less functionality than the shell builtin. time
and kill are good examples of that.
Marc
--
Marc Mutz <[EMAIL PROTECTED]> http://marc.mutz.com/
University of Bielefeld, Dep. of Mathematics / Dep. of Physics
PGP-keyID's: 0xd46ce9ab (RSA), 0x7ae55b9e (DSS/DH)
