Jim Henderson posted on Thu, 31 Oct 2024 03:21:00 - (UTC) as
excerpted:
> you could edit group-preferences.xml and do a search/replace for the old
> profile and new profile name. That file does contain all groups you've
> ever subscribed to, and I agree that an option to remove groups that ar
On 10/30/24 8:14 PM, Jim Henderson wrote:
On Thu, 31 Oct 2024 02:44:21 - (UTC), David Chmelik wrote:
I used to use four newsservers with Pan. One closed, and another I
stopped paying for because was mostly dead. I suspect Pan kept their
newsrc entries despite I deleted those servers. Wou
On Wed, 30 Oct 2024 20:17:42 -0700, dchmelik-Re5JQEeQqe8AvxtiuMwx3w wrote:
>> An option would be to look in ~/.pan2/newsrc-* and just remove the
>> newsrc files that are for the specific servers you want to remove from
>> the configuration.
> Maybe I edited or copied over one of those. Does 'refr
On Thu, 31 Oct 2024 03:14:33 - (UTC), Jim Henderson wrote:
> On Thu, 31 Oct 2024 02:44:21 - (UTC), David Chmelik wrote:
>
>> I used to use four newsservers with Pan. One closed, and another I
>> stopped paying for because was mostly dead. I suspect Pan kept their
>> newsrc entries despi
On Thu, 31 Oct 2024 02:44:21 - (UTC), David Chmelik wrote:
> I used to use four newsservers with Pan. One closed, and another I
> stopped paying for because was mostly dead. I suspect Pan kept their
> newsrc entries despite I deleted those servers. Would it be possible to
> add option to de
I used to use four newsservers with Pan. One closed, and another I
stopped paying for because was mostly dead. I suspect Pan kept their
newsrc entries despite I deleted those servers. Would it be possible to
add option to delete newsgroups unlisted in any newsservers one still
uses? I subsc
