Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-31 Thread Jim Henderson
On Thu, 31 Oct 2024 17:11:44 - (UTC), Jim Henderson wrote: > On Thu, 31 Oct 2024 06:00:31 - (UTC), Duncan wrote: > >> Strong second on search/replace for this sort of thing. Probably faster >> than a GUI would be for it anyway, and arguably more dependable, given >> the low usage and ther

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-31 Thread Jim Henderson
On Thu, 31 Oct 2024 18:13:50 - (UTC), Jim Henderson wrote: > With the number of groups you're dealing with having to remove, I would > recommend using some tool that accepts xpath search queries and that can > delete entries based on that. 'jq' may be able to do this as well from > a command-

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-31 Thread Jim Henderson
On Thu, 31 Oct 2024 06:00:31 - (UTC), Duncan wrote: > Strong second on search/replace for this sort of thing. Probably faster > than a GUI would be for it anyway, and arguably more dependable, given > the low usage and therefore low practical level of testing such a > bulk-edit special-purpose

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread Duncan
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

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread dchmelik
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

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread Jim Henderson
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

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread Jim Henderson
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

Re: [Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread Jim Henderson
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

[Pan-users] options to set correct posting profiles and delete groups not on servers

2024-10-30 Thread David Chmelik
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