Paquet : gnome-shell-timer (0.3.20+20171025-2)

[ Paquet source : gnome-shell-timer  ]

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

  système de stockage de configuration simple - moteur GSettings

  ou gsettings-backend

  paquet virtuel fourni par dconf-gsettings-backend, gconf-gsettings-backend

• dep: gnome-shell (>= 3.12)

  interpréteur de commandes graphique pour le bureau GNOME

• dep: python

  langage interactif de haut niveau orienté objet (version Python2)

Télécharger gnome-shell-timer

Télécharger pour toutes les architectures proposées

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
all	98,2 ko	191,0 ko	[liste des fichiers]