A simple GNOME extension that provides a panel timer with an alarm sound notification. Single time units: Use simple time formats like 1h, 1m, or 1s. Multiple time units: Combine units, such as 1h 30m, 1m 25s, or 1h 20m 30s. Repetitions: Use repX (e.g., rep3 for 3 repetitions). Rest time: Use restX with time units (h, m, s) like rest1h, rest1m, rest30s. Combining Units: You can combine the following units to create a custom timer. For example: 2s rep3 rest1m = 2 seconds of work time, 3 repetitions, and 1 minute of rest between repetitions. 1m rep5 rest30s = 1 minute of work time, 5 repetitions, and 30 seconds of rest after each rep.

Extension Homepage

http://github.com/lbgracioso/gnome-timer

Download

Shell version… Extension version…