A simple timer
JavaScript Python Shell
Permalink
Failed to load latest commit information.
po add localization fr_FR, thanks Solveig Feb 5, 2014
timer@olebowle.gmx.com gnome3.20 support, fixes #29 (thanks to Raphaël Hertzog) May 28, 2016
.gitignore add localization, make "Presets" localizable, add de_DE Aug 24, 2011
COPYING initial commit Aug 22, 2011
README.md update README.md Feb 19, 2014
gnome-shell-timer-config.desktop rename timer-applet-config to gnome-shell-timer-config, as it could c… Nov 2, 2011
gnome-shell-timer-config.py rename timer-applet-config to gnome-shell-timer-config, as it could c… Nov 2, 2011
gnome-shell-timer-config.svg rename timer-applet-config to gnome-shell-timer-config, as it could c… Nov 2, 2011
make.sh add localization fr_FR, thanks Solveig Feb 5, 2014
org.gnome.shell.extensions.timer.gschema.xml major update: migrate from json config file to GSettings, add python … Nov 1, 2011
utilities-timer-symbolic.svg

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

Debian

Get from Debian Packages

Direct from source

  • Get Source

  • 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

License

See COPYING for details.

Thanks