Hi Bakul,
> Looks like inc pays attention to $MAILDROP and if it is not set and
> profile entry MailDrop is not set, it looks into /var/mail/$USER.
That's pretty much right.
> Not sure if it ever checks $MAIL or $MAILPATH.
It doesn't, and it doesn't use $USER, or $LOGNAME, either.
inc(1) says
Thank you to everybody who responded both on and off the
list. The problem is correctly solved and here is what
happened.
This is a good example of how long an incomplete
configuration can work perfectly until 0 Day when the right set
of circumstances make it glaringly obvious th
Martin wrote:
> The proper fix was to remove the local-mailbox
> declaration I had unwittingly copied from the system that does
> send internet mail to the ones that don't
I don't think that Local-Mailbox should affect inc, see Ralph's
excerpts from the man pages and sources.
> and on the
> On Jun 2, 2019, at 3:15 AM, Ralph Corderoy wrote:
>
> Hi Bakul,
>
>> Looks like inc pays attention to $MAILDROP and if it is not set and
>> profile entry MailDrop is not set, it looks into /var/mail/$USER.
>
> That's pretty much right.
>
>> Not sure if it ever checks $MAIL or $MAILPATH.
>
Bakul wrote:
> Er... that is what the inc man page says!
>/var/mail/$USER Location of the system mail drop.
> But I don't understand why it didn't just follow unix conventions as most
> users
> of MH have been on Unix.
I think it's fine the way it is now (or maybe I'm missing y
> The proper fix was to remove the local-mailbox
>declaration I had unwittingly copied from the system that does
>send internet mail to the ones that don't and on the one that
>does, I now set the $MAILDROP environment variable and, so far,
>all is peace and bliss now.
I had written this lon
Ken wrote:
> It looks like
> that was changed in commit af586ebe59b7, which was back in ... 2012.
> Whoops. So yeah, your Local-Mailbox profile entry made it look in
> a maildrop file named /var/mail/martin.m. That one is on us!
Whoops, on me.
> I think the correct change should be what we did
>$HOME/.mh_profile The user's profile.
So, we will use $HOME if it is set.
>/var/mail/$USERLocation of the system mail drop.
But we don't actually use $USER (we call getpwuid(getuid()) and use that).
I personally interpreted the use of $USER as "the username goes here",
not "we use
