editing file in tevd will update its modification date

This commit is contained in:
minjaesong
2022-12-20 17:28:50 +09:00
parent f1343a91f5
commit a7b3f5a5bf
2 changed files with 19 additions and 5 deletions

View File

@@ -10,7 +10,7 @@ if (exec_args[1] === undefined) {
let noNewFile = (exec_args[1] == "/c" || exec_args[1] == "/C");
let file = files.open(`${_G.shell.resolvePathInput(exec_args[2] || exec_args[1]).full}`)
if (!file.exists) {
if (!file.exists && noNewFile) {
printerrln("TOUCH: Can't open "+file.fullPath+" due to IO error");
return 1;
}