Add time command

beryllium-org · Feb 27, 2024 · ca025e7 · ca025e7
1 parent a117ace
commit ca025e7
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/Beryllium/bin/time.lja b/Beryllium/bin/time.lja
@@ -0,0 +1 @@
+fpexec /bin/time.py
diff --git a/Beryllium/bin/time.py b/Beryllium/bin/time.py
@@ -0,0 +1,9 @@
+rename_process("time")
+vr("cmd", be.based.user_vars["argj"].split()[1:])
+vr("sttime", time.monotonic())
+be.based.run(" ".join(vr("cmd")))
+vr("time", time.monotonic() - vr("sttime"))
+vr("m", int(vr("time") / 60))
+vr("tmf", str(vr("m")) + "m" + str(vr("time") - (vr("m") * 60)) + "s")
+be.api.setvar("return", str(vr("tmf")))
+term.write("\nreal    " + be.api.getvar("return"))