Message-Id: <199807061512.KAA24628@kendall.>
Date: Mon, 6 Jul 1998 10:12:15 -0500 (CDT)
From: Jeff Williams <jeffw AT darwin DOT sfbr DOT org>
Reply-To: Jeff Williams <jeffw AT darwin DOT sfbr DOT org>
Subject: Updating history file under BASH
To: djgpp AT delorie DOT com
MIME-Version: 1.0
Content-Type: TEXT/plain; charset=us-ascii
Content-MD5: DUPx5Zjh2xM+ZppFFhdAUw==
Precedence: bulk

Hi,

I am using DJGPP v2.01 and bash 11.47 with DOS 5.0.  The command
history during a bash session is working and commands can be recalled
and edited using the cursor keys, but the ~/_history file itself is not
updated with the command history for the session unless I exit bash.
Since I work almost exclusively under bash, the command history doesn't
get saved at all unless I remember to exit bash before shutting down.
Is there a way to have my command history regularly witten to the
~/_history file from within bash?

TIA,
jeff williams