[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Geiser-users] Automatic startup/shutdown of REPL processes
From: |
Jose A. Ortega Ruiz |
Subject: |
Re: [Geiser-users] Automatic startup/shutdown of REPL processes |
Date: |
Thu, 11 Apr 2013 07:26:09 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
On Tue, Apr 09 2013, Reuben Thomas wrote:
[...]
> 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.
I've just pushed a patch that adds a new customization variable,
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.
Cheers,
jao
--
"Light thinks it travels faster than anything but it is wrong. No matter
how fast light travels it finds the darkness has always got there first,
and is waiting for it."
-Terry Pratchett, Reaper Man
- [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/08
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Jose A. Ortega Ruiz, 2013/04/08
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Jose A. Ortega Ruiz, 2013/04/09
- Message not available
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Jose A. Ortega Ruiz, 2013/04/09
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/09
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes,
Jose A. Ortega Ruiz <=
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/11
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/11
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Jose A. Ortega Ruiz, 2013/04/11
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/11
- Re: [Geiser-users] Automatic startup/shutdown of REPL processes, Reuben Thomas, 2013/04/11