Lars Ingebrigtsen <[email protected]> writes: > Leo Butler <[email protected]> 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 _______________________________________________ info-gnus-english mailing list [email protected] https://lists.gnu.org/mailman/listinfo/info-gnus-english
