How to delete an unused server from GNUS

OK – the summary:

  1. Kill all groups in that server
  2. remove it from gnus.el config file
  3. quit gnus
  4. quit emacs
  5. restart emacs and gnus
  6. and the server is (hopefully) gone.

Long story: might follow some time…

Advertisements