path.translate
Converts the file separators in a path.
path.translate("path", "newsep")
Parameters
path is the file system path to translate; newsep is the new path separator. If newsep is not specified a Windows-style backslash is assumed.
Return Value
The translated path.
Availability
Premake 4.0 or later.