|
From: | Reuben Thomas |
Subject: | Re: [Geiser-users] Automatic startup/shutdown of REPL processes |
Date: | Thu, 11 Apr 2013 21:29:32 +0100 |
On 11 April 2013 06:26, Jose A. Ortega Ruiz <address@hidden> wrote:On Tue, Apr 09 2013, Reuben Thomas wrote:[...]
I've just pushed a patch that adds a new customization variable,
> I've also used the bit of code you suggested to auto-run the REPL in
> geiser-mode-hook. Again, unless there's an obvious reason not to, it'd
> be great if that were the default.
geiser-mode-start-repl-p, that activates auto-run. When set to t,
Geiser starts the REPL upon entering geiser-mode if there's no one
active. However, the flag is off by default, because i think that
starting external processes without user intervention is better done
only if the user asks for it.Thanks so much, that's brilliant.
[Prev in Thread] | Current Thread | [Next in Thread] |