// retoor <retoor@molodetz.nl>
|
|
|
|
import "pathlib" for Path
|
|
|
|
var p1 = Path.new("/home/user/file.txt")
|
|
System.print(p1.toString) // expect: /home/user/file.txt
|
|
|
|
var p2 = Path.new("")
|
|
System.print(p2.toString) // expect:
|
|
|
|
var p3 = Path.new(p1)
|
|
System.print(p3.toString) // expect: /home/user/file.txt
|
|
|
|
var p4 = Path.new("/home") / "user" / "file.txt"
|
|
System.print(p4.toString) // expect: /home/user/file.txt
|