ketchup-timer

A command line tool for setting timers