From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!.POSTED!not-for-mail From: Newsgroups: gmane.lisp.guile.user Subject: Re: REPL history Date: Sun, 5 Mar 2017 18:57:13 +0100 Message-ID: <20170305175713.GA19769@tuxteam.de> References: <20170305170631.GA4916@localhost.localdomain> NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8; x-action=pgp-signed Content-Transfer-Encoding: 8bit X-Trace: blaine.gmane.org 1488736669 5141 195.159.176.226 (5 Mar 2017 17:57:49 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Sun, 5 Mar 2017 17:57:49 +0000 (UTC) User-Agent: Mutt/1.5.21 (2010-09-15) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Sun Mar 05 18:57:45 2017 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1ckaPf-0000mz-51 for guile-user@m.gmane.org; Sun, 05 Mar 2017 18:57:43 +0100 Original-Received: from localhost ([::1]:39888 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ckaPl-0002Cl-50 for guile-user@m.gmane.org; Sun, 05 Mar 2017 12:57:49 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:45377) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ckaPP-0002Cg-Am for guile-user@gnu.org; Sun, 05 Mar 2017 12:57:28 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ckaPK-0002lm-GM for guile-user@gnu.org; Sun, 05 Mar 2017 12:57:27 -0500 Original-Received: from mail.tuxteam.de ([5.199.139.25]:52168 helo=tomasium.tuxteam.de) by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1ckaPK-0002li-AC for guile-user@gnu.org; Sun, 05 Mar 2017 12:57:22 -0500 Original-Received: from tomas by tomasium.tuxteam.de with local (Exim 4.80) (envelope-from ) id 1ckaPB-0005FO-G8 for guile-user@gnu.org; Sun, 05 Mar 2017 18:57:13 +0100 In-Reply-To: <20170305170631.GA4916@localhost.localdomain> X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x [fuzzy] X-Received-From: 5.199.139.25 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.21 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: "guile-user" Xref: news.gmane.org gmane.lisp.guile.user:13418 Archived-At: -----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-----