~/jendhub

def by

ezx@1.11.0.0 · src/ez/timer.bend:17

import ezx@1.11.0.0/src/ez/timer.bend as Timer
import Base
import snap@1.4.0.0/main.bend as R

17# the second the run must be finished by, worked out once at the start so that
18# nothing later has to add anything up
19def by(+secs: String) -> IO(String):
20  do IO<String>:
21    +out : String <- R.exec(["date", "-d", "+" ++ secs ++ " seconds", "+%s"])
22    return String.trim(R.text(out))

Uses (9)

Used by (1)