N. writes:
> Thanks Adam, that did indeed give me what I was looking for. (I called
> the additional server "Dusty" on which I will be reading the ancient
> news.)
Cool (good name!)
> That leads to a supplemental question: is there a way to rename an
> existing server? I'm not even seeing a way of deleting existing servers
> that are no longer used -- they seem to take on a phantom nature and
> eternally haunt my server buffer.
I don't know. You can kill servers in the *Server* buffer, but I can't
remember ever trying it.
If everything fails, you can try manual surgery on your ~/.newsrc.eld -
usually not that fun.
Best regards,
Adam
--
"It seems like the finals for "least helpful answer Adam Sjøgren
on a mailing list" are coming up again." a...@koldfront.dk
_______________________________________________
info-gnus-english mailing list
info-gnus-english@gnu.org
https://lists.gnu.org/mailman/listinfo/info-gnus-english
