Hi Edward

On Saturday, November 16, 2024 at 12:44:23 AM UTC Edward K. Ream wrote:

On Fri, Nov 15, 2024 at 3:52 PM jkn <[email protected]> wrote:

Actually, the "problem" seems to be more about "how to specify a network 
location" such that Leo can open it in a consistent way.

...

One could concoct a special rule for Leo to use when parsing a URL whose 
'netloc' field looks like this ... but I can well imagine Edward not liking 
that very much.


Good guess :-)


Heh heh.

Actually, I think there is hope. I revisited this wiki 
page: https://en.wikipedia.org/wiki/File_URI_scheme

which discusses two schemes for how a windows UNC filename can be 
referenced as a URI. It seems that

    file:////server/folder/filename.ext   # four forward slashes

should/can work.

So I think my task ;-) is to improve/extend Leo's translation scheme so 
that this gets turned into os.startfile("\\server\folder\filename.ext")

    J^n


For now I am going to create a button command so that after selecting the 
name of the path with the cursor, the button runs os.startfile() using that 
text. Let's see how useful that is.


Sounds like a plan.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion visit 
https://groups.google.com/d/msgid/leo-editor/01b7de36-2b2e-487e-b688-f63633a3a9dbn%40googlegroups.com.

Reply via email to