[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to stop find-grep-dired?
From: |
David Kastrup |
Subject: |
Re: How to stop find-grep-dired? |
Date: |
Thu, 31 Aug 2006 20:49:14 +0200 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
Richard Stallman <address@hidden> writes:
> I propose C-x since the mnemonic value of the x shape as in
> "cross it out" sounds pretty obvious.
>
> Putting it on the C-x prefix would be fine, but what is the precise
> command you suggest?
I think he was joking.
Anyway, I don't think this should be moved from the C-c prefix since
the functionality is associated basically with comint-related buffers,
those having an associated user-visible shell process, but not
restricted to them.
For example, AUCTeX uses C-c C-k too in order to kill an associated
process, even though this process is run in a different buffer.
I don't think that the functionality "kill any process associated with
_this_ buffer" should have a keybinding, in contrast. The relation of
such a process with regard to the user interface is more than unclear.
I'd strongly recommend C-c C-k as a binding to major mode authors to
stop a process run on behalf of the major mode _if_ there is a good
case for such a killing, and regardless of whether this process is run
in a different buffer or not (for example, for the purpose of
capturing output).
But I don't think there is a useful global binding in it for this.
--
David Kastrup, Kriemhildstr. 15, 44793 Bochum
- Re: How to stop find-grep-dired?, (continued)
- Re: How to stop find-grep-dired?, Richard Stallman, 2006/08/23
- Re: How to stop find-grep-dired?, Juri Linkov, 2006/08/29
- Re: How to stop find-grep-dired?, Richard Stallman, 2006/08/30
- Re: How to stop find-grep-dired?, Stefan Monnier, 2006/08/30
- Re: How to stop find-grep-dired?, Kim F. Storm, 2006/08/31
- Re: How to stop find-grep-dired?, Richard Stallman, 2006/08/31
- Re: How to stop find-grep-dired?,
David Kastrup <=
- Re: How to stop find-grep-dired?, Juri Linkov, 2006/08/31
- Re: How to stop find-grep-dired?, Miles Bader, 2006/08/31
- Re: How to stop find-grep-dired?, Juri Linkov, 2006/08/30
- Re: How to stop find-grep-dired?, Lennart Borgman, 2006/08/21
- Re: How to stop find-grep-dired?, Richard Stallman, 2006/08/21
Re: How to stop find-grep-dired?, Andreas Schwab, 2006/08/19