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