- Provides a countdown timer in the gnome-shell top panel
- User adjustable timer presets for common tasks
- Manually adjustable timer
Get from AUR
Get from Debian Packages
-
Get Source
- Master branch | Gnome-shell 3.2 (there is an make script in the repo, so you don't have to do the steps mentioned below)
- Gnome-3.0 branch | Gnome-shell 3.0.x
-
Extract timer@olebowle.gmx.com directory to ~/.local/share/gnome-shell/extensions/
-
Move utilities-timer-symbolic.svg to /usr/share/icons/hicolor/scalable/apps
-
Update the system's icon cache: gtk-update-icon-cache --force --quiet /usr/share/icons/hicolor
-
Enable the extension using gnome-tweak-tool (Shell Extensions -> Timer Extension) or via following commandline:
-
gsettings get org.gnome.shell enabled-extensions -
gsettings set org.gnome.shell enabled-extensions [\<value from get above\>, timer@olebowle.gmx.com]
-
-
Press Alt + F2, and r in command to restart gnome-shell
- Please refer to the Wiki:
See COPYING for details.
- 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