5 lines
171 B
Text
5 lines
171 B
Text
load("operatingsystem")$
|
|
rename_file("input.txt", "output.txt")$
|
|
rename_file("/input.txt", "/output.txt")$
|
|
rename_file("docs", "mydocs")$
|
|
rename_file("/docs", "/mydocs")$
|