>>>>> "Robert" == Robert Dodier <robert.dodier at gmail.com> writes:
Robert> On 2012-10-29, Raymond Toy <toy.raymond at gmail.com> wrote:
Adam> You are right.
Adam> What is the reason for this behaviour ?
>>
>> You mean for load_pathname? I don't know. I was merely reporting
>> what the documentation stated. It does seem useful for batch to also
>> set load_pathname appropriately. Perhaps there's some reason this is
>> not done, but I don't know what it is.
Robert> I don't think there's any rationale for the current behavior. I agree
Robert> that binding load_pathname within batch is just as useful as for load,
Robert> so if someone wants to post a patch, I'd be happy to apply it.
Robert> I'm pretty sure I wrote the existing documentation for load_pathname by
Robert> grepping the code and then writing down the functions which modify it.
Robert> Same goes for a lot of stuff -- the documentation is descriptive, not
Robert> prescriptive.
At least it's documented!
I'll modify batch to bind load_pathname soon, with updated
documentation.
Ray