Convert from URL to File Path String?

Dave dave at
Wed Oct 31 20:45:44 EDT 2007


On 1 Nov 2007, at 00:03, Jim Ault wrote:

> On 10/31/07 4:38 PM, "Dave" <dave at> wrote:
>> I have a URL of the form:
>> file://localhost/Users/Dave/Folder/Folder/
>> and I want to convert it to:
>> /Users/Dave/Folder/Folder/
>> Is there a function to do this, or do I just have to remove "file;//
>> localhost" from the front of the string?
> I would use one line to do this:
> put " file://localhost/Users/Dave/Folder/Folder/" into  
> urlLocal
> put char offset("/Users/", urlLocal) to -1 of urlLocal into urlUsers

It might not always start with "/Users/", for instance it could be:


I'm not sure if it's safe to just remove "file://localhost", anyone  

All the Best

More information about the Use-livecode mailing list