Merge branch 'main' into devtools

2024-05-12 20:07:55 +03:00
parent c63d350ad5 8054d4ba55
commit ee853aab4c
11 changed files with 114 additions and 19 deletions
@@ -276,6 +276,15 @@ function table.tostring(t)
    return s..']'
 end

+function file.readlines(path)
+    local str = file.read(path)
+    local lines = {}
+    for s in str:gmatch("[^\r\n]+") do
+        table.insert(lines, s)
+    end
+    return lines
+end
+
 console.add_command(
    "tp obj:sel=$obj.id x:num~pos.x y:num~pos.y z:num~pos.z",
    function (args, kwargs)