Volker Kuhlmann wrote,
| Question: what exactly is dotlocking? I greped the docs but could not
| find a clear definition. Is it the creation of a file.lock file? If so,
| I don't think mailtool bothers to create some such and I see no way to
| make it do so, which means I am living very dangerously.
Yes, that is what dotlocking is. I think one of the FAQs says something
about getting procmail and mailtool to work together.
| (On the side, with procmail 3.10 at least the docs say falling off the
| end of .procmailrc delivers to $DEFAULT which defaults to the system
| mailbox. This is not true. procmail ALWAYS delivers to /var/mail/user
| when falling off .procmailrc, REGARDLESS of the setting of $DEFAULT. I
| did not test the behaviour of 3.11pre7.)
Now that is odd. DEFAULT worked properly in 3.10. Are you sure that
$DEFAULT is something where procmail can write safely? Are you positive
it is getting assigned? If it is not assigned it defaults to $ORGMAIL,
and if procmail gets to the end of the rcfile and cannot write to $DEFAULT,
it saves to $ORGMAIL.
Good luck with the deadlocking problem; I hope someone can help you there.
David