[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#10107: 23.2; Add command gud-quit
From: |
Eli Zaretskii |
Subject: |
bug#10107: 23.2; Add command gud-quit |
Date: |
Tue, 08 Jun 2021 14:34:49 +0300 |
> From: Lars Ingebrigtsen <larsi@gnus.org>
> Cc: giecrilj@stegny.2a.pl, 10107@debbugs.gnu.org
> Date: Tue, 08 Jun 2021 11:36:42 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> >> delete-process is more general (works on all process-like things) and
> >> therefore seems more useful as a user-level command.
> >
> > But the OP wanted to kill only real subprocesses, no?
>
> The OP only wanted a command for gud buffers, but I think that if we
> want to have a command here, we should make it generally useful. And
> I don't see any downsides to using delete-process instead of
> kill-process here, but perhaps I'm overlooking something?
If we want a general-purpose command to kill a subprocess, we already
have Proced. Do we really need yet another way?
I thought the issue was with killing a runaway process in GUD, which
is a specialized situation which I can sympathize (having myself been
in that situation once or twice...)
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/02
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/04
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/08
- bug#10107: 23.2; Add command gud-quit,
Eli Zaretskii <=
- bug#10107: 23.2; Add command gud-quit, Lars Ingebrigtsen, 2021/06/08
- bug#10107: 23.2; Add command gud-quit, Krzysztof Żelechowski, 2021/06/06
- bug#10107: 23.2; Add command gud-quit, Eli Zaretskii, 2021/06/06