Sorry, stupid Gmail. To repeat my original message in plain text:
I have a script that runs during the night to grab the latest headers from several groups. The script does this: pan --no-gui headers:group1,group2,etc My script no longer seems to work. When I run this, pan just immediately exits with no errors and an exit status of 0. I'm running pan 0.140 built from source under Mint 17. Can anyone else verify whether this still works? On Tue, Aug 5, 2014 at 10:17 AM, Travis <[email protected]> wrote: > -----Original Message----- From: Chris Gentle > Sent: Tuesday, August 5, 2014 5:01 AM > To: [email protected] > Subject: [Pan-users] Problem with pan --no-gui headers: > > > I have a script that runs during the night to grab the latest headers from > several groups. The script does this: > > pan --no-gui headers:group1,group2,etc > > My script no longer seems to work. When I run this, pan just immediately > exits with no errors and an exit status of 0. I'm running pan 0.140 built > from source under Mint 17. Can anyone else verify whether this still > works? > > -- > Chris > > > F Y I > > We don't like HTML messages here. > > > -- > > Travis in Shoreline Washington > > _______________________________________________ > Pan-users mailing list > [email protected] > https://lists.nongnu.org/mailman/listinfo/pan-users > -- Chris
_______________________________________________ Pan-users mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/pan-users
