[Java-readline-devel] Re: query on readline java

[Bernhard B. <ma...@ba...>]

> I was unable to push data onto readline from Java (sort of like pushing
> onto STDIN). When a user wishes to use a file from disk, i read the
> file, but would like it to become part of history. Any way of
> manipulating the history file ?

There is a method readHistoryFile. In the current developer-version, a ne=
w=20
method addToHistory() is introduced. This should solve your needs. To get=
 it,=20
you need CVS access. The current version is on the new Java-Readline site=
 on=20
Sourceforge (http://sourceforge.net/projects/java-readline/).

Bernhard