[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: |
Tue, 09 Apr 2013 20:34:32 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.3.50 (gnu/linux) |
On Tue, Apr 09 2013, Reuben Thomas wrote:
> On 9 April 2013 19:04, Jose A. Ortega Ruiz <address@hidden> wrote:
>
> I just realized that this is not needed at all. We already have a
> customizable flag for that:
>
> (setq geiser-repl-query-on-exit-p t)
>
> will do what you want. Sorry!
>
> Thanks, but as far as I can tell, this only affects the behaviour when
> running geiser-repl-exit, not when running save-buffers-kill-emacs.
Ah, right. I've pushed a patch adding a new customizable variable,
geiser-repl-query-on-kill-p to that end (only tested killing the buffer,
but should work with save-buffers-kill-emacs; let me know otherwise).
Cheers,
jao
--
If at first you don't succeed, try and try and try again. And then give up.
There's no point making a damn fool out of yourself.
-Dilbert's Rules of Work, slightly paraphrased
- [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 <=
- 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, 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
- 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