Timer.by: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/timer.bend as Timer
Lines 17-22 of ezx@1.11.0.0/src/ez/timer.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/timer.bend&start_line=17&end_line=22

import Base
import snap@1.4.0.0/main.bend as R

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

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.trim
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text