Re: REPL history

[tomas]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Sun, Mar 05, 2017 at 08:06:31PM +0300, Vladimir Zhbanov wrote:
> Hi Guile users,
> 
> Is there any way to use history of work done in a spawned REPL?
> 
> My GUI application spawns a REPL server in background terminal:
> 
> (use-modules (system repl server))
> (spawn server)
> 
> Then users manually run:
> (use-modules (ice-9 readline))
> (activate readline)
> 
> However, after quitting the application, the history is not
> saved. I always see the history of commands used in guile itself,
> not one of my app.
> 
> When I use readline-options, it shows some file is used:
> 
> scheme@(guile-user)> (readline-options 'history)
> history-file          yes     Use history file.
> history-length                200     History length.
> bounce-parens         500     Time (ms) to show matching opening parenthesis 
> (0 = off).
> 
> I don't know which file is used, anyway.

Here it is ~/.guile_history (perhaps this helps you in your quest). And
the manual has this to say:

   You can specify a different history file by setting the environment
   variable `GUILE_HISTORY'.  And you can make Guile specific
   customizations to your `.inputrc' by testing for application `Guile'

I don't know off-the-bat whether there's a way to change that (other than
setting the environment variable, that is)

> Are there any options to get history in spawned REPL?

Hm. I'm not sure I understand what you mean.

Regards
- -- tomás
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)

iEYEARECAAYFAli8UXkACgkQBcgs9XrR2kbYbACfbix3bIKrrHHMqlGGMezQUV+j
RzgAn0H0qfKvkqcSmnWkr48Y8PnyTxn8
=eaGw
-----END PGP SIGNATURE-----