bug#10107: 23.2; Add command gud-quit

[Eli Zaretskii]

> 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...)