README.md

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

Direct from source

• Get Source
  • Unstable - Master branch
• 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
• Press Alt + F2, and r in command to restart gnome-shell

Configuration

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.

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