Paquet : gnome-shell-timer (0.3.20+20171025-4)
Liens pour gnome-shell-timer
Ressources Trisquel :
Télécharger le paquet source gnome-shell-timer :
- [gnome-shell-timer_0.3.20+20171025-4.dsc]
- [gnome-shell-timer_0.3.20+20171025.orig.tar.gz]
- [gnome-shell-timer_0.3.20+20171025-4.debian.tar.xz]
Responsable :
Original Maintainer:
- Raphaël Hertzog
Ressources externes :
- Page d'accueil [github.com]
Paquets similaires :
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.
Autres paquets associés à gnome-shell-timer
|
|
|
-
- dep: dconf-gsettings-backend
- simple configuration storage system - GSettings back-end
- ou gsettings-backend
- paquet virtuel fourni par dconf-gsettings-backend
-
- dep: gnome-shell (>= 3.34)
- graphical shell for the GNOME desktop
-
- dep: python3
- interactive high-level object-oriented language (default python3 version)
Télécharger gnome-shell-timer
Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
---|---|---|---|
all | 97,7 ko | 191 ko | [liste des fichiers] |