[patch 1/2] Provide $ddir substitution for --with-auto-load-safe-path

[Pedro Alves]

On 05/11/2012 07:16 PM, Jan Kratochvil wrote:

> Hi Pedro,
> 
> On Fri, 11 May 2012 20:13:18 +0200, Pedro Alves wrote:
>> On 05/09/2012 04:46 PM, Jan Kratochvil wrote:
>>
>>> +Setting this variable to @file{/} disables this security protection,
>>
>> I wonder if creeping in this unixysm is a sign of an interface
>> that could be better.  I mean, it doesn't make so much sense
>> if you think of Windows, for example.
> 
> I just checked it in, sorry.


Sorry, I'm way behind on the list.

> I was thinking about using "set auto-load safe-path :" where ":" is the path

> separator but this would be "set auto-load safe-path ;" on MS-Windows.


This actually sounds like a good idea to me.  It should already be working?
So we'd only need to remove the '/' special case, and tweak the docs to mention
that.

> I just find "/" to be a magic string, which just coincidentally matches root
> on UNIX systems.
> 
> Sure I can commit some change if you have a better idea.-- 


-- 
Pedro Alves