memoire

@@ -1,3 +1,14 @@

+local posix = require("posix")

+

+local function time()

+    if posix then

+        local s, ns = posix.clock_gettime()

+        return s + ns / 10^9

+    else

+        return os.time()

+    end

+end

+

 --[[

     show progress thru a review session, conditioned on the user

     configuring that to happen

@@ -108,7 +119,8 @@ local function fn(config, deck, deckfname)

     climn = math.min(climn, #ctrt)

     local lrc = 0

     local editqueue = {}

-    local start = os.time()

+    local start = time()

+    local rt = {}

     -- review prompts in this session's set

     for ind, ip in ipairs(ctrt) do

         if ind > climn then

@@ -116,10 +128,12 @@ local function fn(config, deck, deckfname)

         end

         local pr = deck[ip[1]].pr[ip[2]]

         local pst = pr:text()

-        local st = os.time()

+        local st = time()

         imgify(pst:gsub("%%A", "___"), deckfname:match(".*/") or "", ind, climn, config, true)

         io.write("\n")

+        table.insert(rt, time())

         io.read("l")

+        rt[#rt] = time() - rt[#rt]

         clear()

         imgify(

             pst:gsub("%%A", "\x1b[1m" .. (pr:ans():gsub("%%", "%%%%")) .. "\x1b[0m"),

@@ -153,17 +167,25 @@ local function fn(config, deck, deckfname)

         end

     end

     if #ctrt > 0 then

-        local endt = os.time()

+        local acr = math.min(#ctrt, climn)

+        local endt = time()

         io.write(string.format(

-            "Reviewed %d prompts in %d seconds\n",

-            math.min(#ctrt, climn),

-            endt - start

+            "Reviewed %d prompts in %f seconds\n",

+            acr, endt - start

         ))

         local s

         if lrc == 1 then s = "" else s = "s" end

         io.write(string.format(

             "(%d lapse%s, %f seconds per card)\n",

-            lrc, s, (endt - start) / math.min(#ctrt, climn)

+            lrc, s, (endt - start) / acr

+        ))

+        local trt = 0

+        for _, x in ipairs(rt) do

+            trt = trt + x

+        end

+        io.write(string.format(

+            "Average %f seconds for recall per card\n",

+            trt / acr

         ))

     end

     if #editqueue > 0 then