Hi,
The following two expressions create a file called "d d.txt" (Windows,
BaseX 7.6)

  file:write("c:\temp\d d.txt","what")
 file:write("c:\temp\d%20d.txt","what")

I wonder if it would not be better if the second would create a file
"d%20d.txt"?

My use case is creating a file name that encodes a path e.g.
"lib%5Cfile.txt". The currently gives an error, as it is looking for a
folder lib.

I read http://expath.org/spec/file#d3e112 as meaning url encoded file names
must start file:/// and if no file:/// the name should be used as is.

/Andy
_______________________________________________
BaseX-Talk mailing list
BaseX-Talk@mailman.uni-konstanz.de
https://mailman.uni-konstanz.de/mailman/listinfo/basex-talk

Reply via email to