After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 758216 - Please integrate gnome-shell-timer into gnome-shell-extensions
Please integrate gnome-shell-timer into gnome-shell-extensions
Status: RESOLVED WONTFIX
Product: gnome-shell
Classification: Core
Component: extensions
unspecified
Other Linux
: Normal enhancement
: ---
Assigned To: gnome-shell-maint
gnome-shell-maint
Depends on:
Blocks:
 
 
Reported: 2015-11-17 08:28 UTC by Raphael Hertzog
Modified: 2015-11-19 14:04 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Raphael Hertzog 2015-11-17 08:28:11 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.
Comment 1 André Klapper 2015-11-17 11:08:58 UTC
There might be a misconception here: Officially adapting it might not make it suddenly have maintainers.
Comment 2 Raphael Hertzog 2015-11-17 13:48:37 UTC
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.
Comment 3 Florian Müllner 2015-11-19 14:04:50 UTC
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)