How do I best convert a File to a Directory or Reg...
# community-supports
Sergej Koščejev
10/19/2024, 8:10 AMHow do I best convert a File to a Directory or RegularFile?
v
Vampire
10/19/2024, 9:41 AMlayout.dirlayout.files
Sergej Koščejev
10/19/2024, 9:41 AMthey take a Provider<File>, not a File.
v
Vampire
10/19/2024, 9:42 AMSo?
Vampire
10/19/2024, 9:43 AMlayout.dir(providers.provider { myFile })s
Sergej Koščejev
10/19/2024, 9:44 AMWell, I was hoping there’s a more direct way without extra objects, but okay.
v
Vampire
10/19/2024, 6:02 PMNone I'm aware of. A few versions ago even that was not present but you had to use an existing directory provider
20 Views