Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
A simple timer
JavaScript Python Shell
tree: c7b8d8fdd2

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
po
timer@olebowle.gmx.com
.gitignore
COPYING
README.md
gnome-shell-timer-config.desktop
gnome-shell-timer-config.py
gnome-shell-timer-config.svg
make.sh
org.gnome.shell.extensions.timer.gschema.xml
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

  • 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

Configuration

License

See COPYING for details.

Thanks

Something went wrong with that request. Please try again.