summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2021-03-13 22:13:13 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2021-03-13 22:13:13 +0000
commit2edbefbae583c7934f84747289f705eca2323f0f (patch)
treea3d2d6906dd0faba17fa8531f8be586d1f53a411
parentAdding upstream version 0~20201113. (diff)
downloadgnome-shell-extension-disable-workspace-switcher-popup-progress-linux.tar.xz
gnome-shell-extension-disable-workspace-switcher-popup-progress-linux.zip
Adding progress-linux version 0~20201113-0progress6u1.HEADprogress-linux/0_20201113-0progress6u1progress-linux
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rw-r--r--debian/changelog5
-rw-r--r--debian/control32
-rw-r--r--debian/copyright18
-rwxr-xr-xdebian/rules11
-rw-r--r--debian/source/format1
5 files changed, 67 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..d553b1d
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+gnome-shell-extension-disable-workspace-switcher-popup (0~20201113-0progress6u1) fuchur-extras; urgency=low
+
+ * Initial upload to fuchur-extras.
+
+ -- Daniel Baumann <daniel.baumann@progress-linux.org> Sat, 13 Mar 2021 19:57:20 +0100
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..26f11f3
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,32 @@
+Source: gnome-shell-extension-disable-workspace-switcher-popup
+Section: restricted/gnome
+Priority: optional
+Maintainer: Progress Linux Maintainers <maintainers@lists.progress-linux.org>
+XSBC-Uploaders: Daniel Baumann <daniel.baumann@progress-linux.org>,
+Bugs: mailto:bugs@lists.progress-linux.org
+Build-Depends:
+ debhelper-compat (= 13),
+Standards-Version: 4.5.1
+Homepage: https://github.com/windsorschmidt/disable-workspace-switcher-popup
+Vcs-Browser: https://git.progress-linux.org/packages/fuchur-extras/gnome-shell-extension-disable-workspace-switcher-popup
+Vcs-Git: https://git.progress-linux.org/packages/fuchur-extras/gnome-shell-extension-disable-workspace-switcher-popup
+
+Package: gnome-shell-extension-disable-workspace-switcher-popup
+Section: restricted/gnome
+Architecture: all
+Depends:
+ gnome-shell,
+ ${misc:Depends},
+Recommends:
+ gnome-tweaks,
+Enhances:
+ gnome-shell,
+Description: Disable Workspace Switcher Popup (GNOME Shell)
+ The GNOME Shell provides core interface functions like switching
+ windows, launching applications or see your notifications. It takes
+ advantage of the capabilities of modern graphics hardware and
+ introduces innovative user interface concepts to provide a
+ delightful and easy to use experience. GNOME Shell is the defining
+ technology of the GNOME 3 user experience.
+ .
+ This extension disables the arrow displayed during workspace switching.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..a15de61
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,18 @@
+Format: https://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: disable-workspace-switcher-popup
+Upstream-Contact: Windsor Schmidt <windsor.schmidt@gmail.com>
+Source: https://github.com/windsorschmidt/disable-workspace-switcher-popup/releases
+
+Files: *
+Copyright: Windsor Schmidt <windsor.schmidt@gmail.com>
+License: n/a
+
+Files: debian/*
+Copyright: 2010-2021 Daniel Baumann <daniel.baumann@progress-linux.org>
+License: PD
+ This program is free software: you have unlimited permission
+ to copy, distribute and modify it.
+ .
+ This program 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.
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..f3f0f07
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,11 @@
+#!/usr/bin/make -f
+
+PACKAGE := $(shell dh_listpackages)
+EXTENSION := $(shell awk -F\" '/"uuid": / { print $$4 }' *@*/metadata.json)
+
+%:
+ dh ${@}
+
+override_dh_auto_install:
+ mkdir -p debian/$(PACKAGE)/usr/share/gnome-shell/extensions
+ find . -maxdepth 1 -mindepth 1 -and -type d -and -not -name debian -and -not -name .pc -exec cp -a {} debian/$(PACKAGE)/usr/share/gnome-shell/extensions/$(EXTENSION) \;
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)