listener: save history early with :save command.

* parser.c (hist_save): New static function.
(repl): Logic for savingn history when terminating has
moved into hist_save. New save command also calls this
function.

* txr.1: Documented.

1 files changed, 10 insertions, 0 deletions

diff --git a/txr.1 b/txr.1
index 4ff086ce..d35989dd 100644
--- a/txr.1
+++ b/txr.1
@@ -72061,6 +72061,16 @@ on MS Windows. If this variable doesn't exist, or the user doesn't
 have permissions to write to this directory or to an existing history file
 in that directory, then the history isn't saved.
 
+It is possible to save the history without terminating the interactive
+session, using the
+.code :save
+command. This saves the history in the manner described above.
+Each invocation of
+.code :save
+only adds to the history file new input since the most recent
+.code :save
+command.
+
 .SS* Parenthesis Matching
 
 A feature of the listener is visual parenthesis matching in the form of a