* On 24 Nov 2012, Jamie Paul Griffin wrote: > I have found the source of the problem: the script failed when > expiring messages in /var/mail/... but not is mailboxes in my $HOME > directory; so, it was a permissions issue which i've now resolved. > > Sorry to have pestered you David, especially there was no real > problem, just a simple matter of looking more closely at the file > permissions.
No worries, I'm glad you got it worked out. Sorry I was unresponsive. It's been the Thanksgiving holiday here in the US, so a lot of us have been more away from e-mail than usual. -- David Champion • [email protected] • IT Services • University of Chicago
