Re: how to kill a virtual group

[Emanuel Berg <moasenwood@zoho.eu>]

Eric Abrahamsen wrote:

> Because the two kinds of server need to be treated
> separately. Gnus is not allowed to overwrite your gnus.el
> file, so if you want to make a change to a server defined
> there, Gnus can't do it via the *Server* buffer: you have to
> shut Gnus down, edit gnus.el, and restart. Conversely,
> servers defined via the *Server* buffer are saved in
> .newsrc.eld, which only Gnus is supposed to touch, so edits
> should be made via the *Server* buffer. Gnus needs to know
> which servers are which.

In general, stuff that are the same, it shouldn't matter where
or in what manner they are defined.

If they are not the same, then if something should or
shouldn't happen to them because of that, they should have
something so one can check - if they by accident look the
same, add some flag or something to the data
structure perhaps?

> No, I think the main problem is that servers created in-Gnus
> are not added to `gnus-server-alist'. Gnus has multiple
> layers of code for finding servers, so often it works out
> okay, but in this case it isn't.

But isn't it better that stuff that aren't the same are
different to the point this can be determined just by
inspecting the very base data? To put that in the layers above
- indeed, how are those layers even supposed to find out?
Ask some third instance, where and how was this defined?
Just think one had to do that all the time, for example with
strings and integers?

-- 
underground experts united
https://dataswamp.org/~incal