GNOME Bugzilla – Bug 758216
Please integrate gnome-shell-timer into gnome-shell-extensions
Last modified: 2015-11-19 14:04:50 UTC
The gnome-shell-timer extension is a simple extension allowing the user to set a countdown timer and be notified when the timer elapses. https://github.com/olebowle/gnome-shell-timer The extension has a loyal user base at least in Debian and its derivatives (cf https://qa.debian.org/popcon.php?package=gnome-shell-timer), unfortunately the upstream author no longer uses GNOME and it is thus unmaintained. The extension does not need much work and for the last 3 GNOME release we just had to update the meta-data. Still it would be nice if this extension could be officially adopted under the gnome-shell-extensions umbrella so that it has some maintainers.
There might be a misconception here: Officially adapting it might not make it suddenly have maintainers.
Even if it's only maintained by drive-by contributions from advanced users (such as me as the Debian package maintainer), it's still better to have it hosted in a place where multiple persons can commit fixes and where it will have regular releases (with each GNOME major release at least). Anyway this is obviously my own suggestion/wish. If you decide otherwise I guess that this extension will just disappear slowly but that would be a pity because I don't know of a good replacement.
No, gnome-shell-extensions is not a dumping ground for orphaned extensions, sorry. The repo did start out as a more-or-less random collection of extensions at a time before the extensions website existed, but that hasn't been the case for years now, so I reserve the right to be picky about new additions. I'm most open to: - features we are considering integrating into gnome-shell, but for some reason want to get user testing on before doing so - features that are we consider useful, but not general enough to integrate in gnome-shell itself (e.g. 'screenshot-window-sizer' which is useful for app developers, but not users) Neither is the case for the timer extension, plus the basic functionality (set up a timer, get notified when it expires) is already provided by the GNOME Clocks application. And in addition to that, it's simply not true that the extension doesn't need much work - there would be quite some initial cost in integrating it, given that: - the extension ships its own preference "application" instead of integrating with gnome-shell-extension-prefs - (related): the extension does only support global installation, not per-user - it uses its own custom build system (make.sh) (which of course hardcodes everything)