规范化文件路径
要规范化一个文件路径——也就是解析其中的任何 . 或 .. 组成部分、去掉多余的分隔符并使其与操作系统兼容——你可以使用 System.FilePath.normalize 方法。
def normalizePath (path: System.FilePath) : IO Unit := do
IO.println s!"Normalized path: {path.normalize}"
要规范化一个文件路径——也就是解析其中的任何 . 或 .. 组成部分、去掉多余的分隔符并使其与操作系统兼容——你可以使用 System.FilePath.normalize 方法。
def normalizePath (path: System.FilePath) : IO Unit := do
IO.println s!"Normalized path: {path.normalize}"