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