1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
Source: gnome-shell-extension-shortcuts
Section: gnome
Priority: optional
Maintainer: Kyle Robbertze <paddatrapper@debian.org>
Build-Depends: debhelper-compat (= 13), gettext, libglib2.0-bin, python3
Standards-Version: 4.7.0
Homepage: https://gitlab.com/paddatrapper/shortcuts-gnome-extension
Vcs-Git: https://salsa.debian.org/debian/gnome-shell-extension-shortcuts.git
Vcs-Browser: https://salsa.debian.org/debian/gnome-shell-extension-shortcuts
Rules-Requires-Root: no
Package: gnome-shell-extension-shortcuts
Architecture: all
Depends: gnome-shell (>= ${gnome:MinimumVersion}~),
gnome-shell (<< ${gnome:MaximumVersion}~),
${misc:Depends},
Description: 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
|
