Date: Tue, 28 Jul 1998 10:56:41 +0300 (IDT)
From: Eli Zaretskii <eliz AT is DOT elta DOT co DOT il>
To: Nate Eldredge <nate AT cartsys DOT com>
cc: Ralph Proctor <ralphgpr AT shadow DOT net>, djgpp AT delorie DOT com
Subject: Re: BASH Info
In-Reply-To: <35BD60EF.AB82C5F4@cartsys.com>
Message-ID: <Pine.SUN.3.91.980728105209.4133J-100000@is>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Precedence: bulk


On Mon, 27 Jul 1998, Nate Eldredge wrote:

> > Bash doesn't have Info docs, only a man page (a very long one, btw).
> 
> It does, though; I have them on my Linux box.  (Investigating further) 
> At least Bash 2.0 had the file `doc/bashref.{texi,info}' in the FSF
> source dist.

DJGPP's port is version 1.14.7.

> It's a little tricky to
> navigate though; the features of the shell are arranged into sections by
> *origin*

Use `i', as usual.  The order is only important if you read the entire 
manual, or large portions thereof.

> (features that came from traditional Bourne shell, features
> from csh, features that GNU invented, etc).  This is troublesome for
> anybody who hasn't used Unix for years and could know about all those. 

It might be a good idea to point this out to the GNU maintainer.  Both 
DJGPP and Cygwin32 have Bash ports, so the assumption of a 
Unix-entrenched user is no longer valid.