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
AUR to come, when this has been adequately tested
Direct from source
- Get Source
- Extract firstname.lastname@example.org directory to ~/.local/share/gnome-shell/extensions/
- Put timer-applet.svg to /usr/share/icons/yourCurrentTheme/scalable/apps (at least I put it there - is there a place independent of themes?)
- Update the system's icon cache: gtk-update-icon-cache --force --quiet /usr/share/icons/yourCurrentTheme
- Press Alt + F2, and r in command to restart gnome-shell
Some of the default settings can be overridden in with $XDG_CONFIG_HOME/gnome-shell-timer/gnome_shell_timer.json (usually ~/.config/gnome-shell-timer/gnome_shell_timer.json) file. Please refer the wiki.
See COPYING for details.