Re: removing dead servers

[Leo Butler]

Lars Ingebrigtsen <larsi@gnus.org> writes:

> Leo Butler <leo.butler@umanitoba.ca> writes:
>
>> Anyhow, after trying and failing to remove them in the *Server* buffer
>> (they were un-editable), I realized that gnus uses the list
>> gnus-server-alist for the editable servers. I massaged
>> gnus-server-alist, edited the dead servers, and problem was solved.
>
> You should be able to remove them from gnus-server-alist with the `k'
> command.  Only servers that Gnus knows about "from other sources"
> (usually mentioned in .gnus.el or .newsrc.eld) can't be killed in that
> way.

Yes, that is what I learned eventually. My question was, is there a way
to remove servers "from other sources" other than the one I described
(remove them from .gnus.el, add them to gnus-server-alist and k them)?

Leo