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

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

- Raw text -