Is reading/writing content right way?
Like this
Code:
file = io.open(source_filename, "r")
source_content = file:read("*all")
file = io.open(destination_filename, "w+")
file:write(source_content)
Or maybe IO library has oneline functions for this?
os.execute is a not a solution, I guess, until it is OS dependent.