debian/0000755000000000000000000000000012223504773007173 5ustar debian/copyright0000644000000000000000000000345512223504764011135 0ustar Format: http://dep.debian.net/deps/dep5 Upstream-Name: gnome-shell-timer Upstream-Contact: Ole Ernst Source: https://github.com/olebowle/gnome-shell-timer Files: * Copyright: 2011 Ole Ernst License: GPL-3+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". Files: debian/* Copyright: 2011 Raphaël Hertzog License: GPL-3+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the complete text of the GNU General Public License version 3 can be found in "/usr/share/common-licenses/GPL-3". debian/gnome-shell-timer.docs0000644000000000000000000000001212223504764013366 0ustar README.md debian/changelog0000644000000000000000000000350712223504764011052 0ustar gnome-shell-timer (0.0.20130422-1) unstable; urgency=low * New upstream release with GNOME 3.6/3.8 compatibility. * Switch to debhelper compat level 9. * Bump Standards-Version. * Update Vcs-* fields. -- Raphaël Hertzog Fri, 04 Oct 2013 11:18:23 +0200 gnome-shell-timer (0.0.20120615+gitbde3fd2-1) unstable; urgency=low * New upstream release with GNOME 3.4 compatibility. Closes: #677516 * Update Standards-Version to 3.9.3 (no changes). -- Raphaël Hertzog Fri, 15 Jun 2012 09:38:11 +0200 gnome-shell-timer (0.0.20120103+gitc7b8d8f-1) unstable; urgency=low * New upstream release. * Release to unstable. -- Raphaël Hertzog Tue, 03 Jan 2012 15:09:57 +0100 gnome-shell-timer (0.0.20111129+git3cc7fdc-1) experimental; urgency=low * New upstream release for GNOME 3.2. * Update debian/rules to properly do the relevant steps listed in make.sh. * Depends on gnome-shell (>= 3.2). * Drop README.Debian and the examples since the software now has a configuration interface for the presets. * This interface is written in Python. Thus add a python build-dep, ${python:Depends} to the Depends field and use dh --with python2. -- Raphaël Hertzog Tue, 29 Nov 2011 09:47:34 +0100 gnome-shell-timer (0.0.20110906+git52b8067-1) unstable; urgency=low * New upstream release. * Updated upstream URL. -- Raphaël Hertzog Thu, 08 Sep 2011 09:19:32 +0200 gnome-shell-timer (0.0.20110830+gitc50db7a-1) unstable; urgency=low * New upstream release. -- Raphaël Hertzog Tue, 30 Aug 2011 13:25:47 +0200 gnome-shell-timer (0.0.20110830+git42ea6ca-1) unstable; urgency=low * Initial release. Closes: #639774 -- Raphaël Hertzog Tue, 30 Aug 2011 09:16:19 +0200 debian/rules0000755000000000000000000000132012223504764010247 0ustar #!/usr/bin/make -f %: dh $@ --with python2 override_dh_auto_clean: rm -f po/*/gnome-shell-timer.mo override_dh_auto_build: for po in po/*/gnome-shell-timer.po; do \ msgfmt -cv -o $${po%.po}.mo $$po; \ done override_dh_auto_install: for mo in po/*/gnome-shell-timer.mo; do \ lang=$$(basename $$(dirname $$mo)); \ mkdir -p debian/gnome-shell-timer/usr/share/locale/$$lang/LC_MESSAGES; \ cp $$mo debian/gnome-shell-timer/usr/share/locale/$$lang/LC_MESSAGES/; \ done mkdir -p debian/gnome-shell-timer/usr/bin/ cp gnome-shell-timer-config.py debian/gnome-shell-timer/usr/bin/gnome-shell-timer-config sed -i -e '1 s/python2/python/' debian/gnome-shell-timer/usr/bin/gnome-shell-timer-config debian/compat0000644000000000000000000000000212223504764010371 0ustar 8 debian/gnome-shell-timer.install0000644000000000000000000000035012223504764014111 0ustar timer@olebowle.gmx.com usr/share/gnome-shell/extensions/ *.svg usr/share/icons/hicolor/scalable/apps/ org.gnome.shell.extensions.timer.gschema.xml usr/share/glib-2.0/schemas/ gnome-shell-timer-config.desktop usr/share/applications/ debian/source/0000755000000000000000000000000012223504764010473 5ustar debian/source/format0000644000000000000000000000001412223504764011701 0ustar 3.0 (quilt) debian/control0000644000000000000000000000176112223504764010603 0ustar Source: gnome-shell-timer Section: gnome Priority: extra Maintainer: Raphaël Hertzog Build-Depends: debhelper (>= 9), python (>= 2.6.6-3~) Standards-Version: 3.9.4 Homepage: https://github.com/olebowle/gnome-shell-timer Vcs-Git: git://anonscm.debian.org/collab-maint/gnome-shell-timer.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=collab-maint/gnome-shell-timer.git;a=summary Package: gnome-shell-timer Architecture: all Depends: gnome-shell (>= 3.2), ${python:Depends}, ${misc:Depends} Description: GNOME Shell extension providing a countdown timer in the top panel Installing this package adds a timer application to the GNOME Shell top panel. With it you can start a timer of any duration and when elapsed, you'll get a notification. You can also preconfigure various durations to avoid having to retype them. . It's a natural replacement of the "timer applet" for GNOME 2 (or 3 in fallback mode). . Users of the Pomodoro method will find this extension very useful. debian/watch0000644000000000000000000000012612223504764010223 0ustar version=3 http://githubredir.debian.net/github/olebowle/gnome-shell-timer (.*).tar.gz