[ Paquet source : gnome-shell-extension-shortcuts ]
Paquet : gnome-shell-extension-shortcuts (1.1.1-1)
Liens pour gnome-shell-extension-shortcuts
Ressources Trisquel :
Télécharger le paquet source gnome-shell-extension-shortcuts :
- [gnome-shell-extension-shortcuts_1.1.1-1.dsc]
- [gnome-shell-extension-shortcuts_1.1.1.orig.tar.gz]
- [gnome-shell-extension-shortcuts_1.1.1-1.debian.tar.xz]
Responsable :
Original Maintainer:
- Kyle Robbertze
Ressources externes :
- Page d'accueil [gitlab.com]
Paquets similaires :
Creates a shortcuts help pop-up in GNOME Shell
Shortcuts is a GNOME Shell extension that creates a pop-up when Super + S is pressed that gives a list of useful keyboard shortcuts in the GNOME Shell desktop environment
Autres paquets associés à gnome-shell-extension-shortcuts
|
|
|
-
- dep: gnome-shell (>= 3.16)
- graphical shell for the GNOME desktop
Télécharger gnome-shell-extension-shortcuts
| Architecture | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|
| all | 9,1 ko | 49 ko | [liste des fichiers] |