[plug] bash

[Mike Holland]

On Mon, 11 Feb 2002, Wayne Vovil wrote:

> What bash manual? Do you mean 'man bash' or is there some other doco?

That seems to be the full official reference manual. You'll find
better versions at   http://www.gnu.org/manual/bash

There are plenty of books on, or with chapters on bash and similar shells,
but the reference manual is probably enough for experienced users.

-- 
  "For every fatal shooting, there were roughly three non-fatal shootings.
   And folks, this is unacceptable in America. It's just unacceptable. And
   we're going to do something about it."   -- George W. Bush, 14/5/01