Timer extension for gnome-shell

Provides a countdown timer in the gnome-shell top panel
User adjustable timer presets for common tasks
Manually adjustable timer

Installation

Archlinux

Get from AUR

Debian

Get from Debian Packages

Direct from source

Get Source
- for older versions see releases
- master branch
use the provided make.sh script du (un)install the extension
Enable the extension using gnome-tweak-tool
Press Alt + F2, and r in command to restart gnome-shell

Configuration

Please refer to the Wiki:
- Gnome-shell 3.x
- Gnome-shell 3.0

License

See COPYING for details.

Thanks

Contributors: gnome-shell-pomodoro which was a nice starting point for this extension (code and documentation)
Contributors: gnome-shell-system-monitor-applet - pie diagram
Timer Applet - original idea