summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2017-06-11 20:49:10 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2017-10-11 13:16:26 +0000
commita70f3594096a3eebdaf1c1a713ef7dc050560450 (patch)
tree491e5c511eaedcea8122a84becb3bc296d7ba45a
parentAdding upstream version 5. (diff)
downloadgnome-shell-extension-remove-rounded-corners-progress-linux.zip
gnome-shell-extension-remove-rounded-corners-progress-linux.tar.xz
Adding progress-linux version 5-0dschinn1.HEADprogress-linux/5-0dschinn1progress-linux
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
-rw-r--r--debian/changelog5
-rw-r--r--debian/compat1
-rw-r--r--debian/control30
-rw-r--r--debian/copyright18
-rw-r--r--debian/gnome-shell-extension-remove-rounded-corners.gsettings-override2
-rw-r--r--debian/patches/progress-linux/0001-shell-version.patch22
-rw-r--r--debian/patches/series1
-rwxr-xr-xdebian/rules8
-rw-r--r--debian/source/format1
-rw-r--r--debian/source/local-options1
10 files changed, 89 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..1f60f8e
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+gnome-shell-extension-remove-rounded-corners (5-0dschinn1) dschinn-extras; urgency=low
+
+ * Initial upload to dschinn-extras.
+
+ -- Daniel Baumann <daniel.baumann@progress-linux.org> Sun, 04 Jun 2017 10:40:29 +0200
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..f599e28
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+10
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..a788ab1
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,30 @@
+Source: gnome-shell-extension-remove-rounded-corners
+Section: 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 (>= 10),
+Standards-Version: 3.9.8
+Homepage: http://markbokil.com/downloads/extensions/
+Vcs-Browser: https://sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-remove-rounded-corners
+Vcs-Git: https://sources.progress-linux.org/distributions/dschinn-extras/packages/gnome-shell-extension-remove-rounded-corners
+
+Package: gnome-shell-extension-remove-rounded-corners
+Section: gnome
+Architecture: all
+Depends:
+ gnome-shell,
+ ${misc:Depends},
+Recommends:
+ gnome-tweak-tool,
+Description: remove rounded corners from the top panel
+ 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 removes rounded corners from the top panel.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..d9c5138
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,18 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/
+Upstream-Name: remove-rounded-corners
+Upstream-Contact: Mark Bokil <mark.bokil@gmail.com>
+Source: https://extensions.gnome.org/extension/448/remove-rounded-corners/
+
+Files: *
+Copyright: Mark Bokil <mark.bokil@gmail.com>
+License: n/a
+
+Files: debian/*
+Copyright: 2010-2017 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/gnome-shell-extension-remove-rounded-corners.gsettings-override b/debian/gnome-shell-extension-remove-rounded-corners.gsettings-override
new file mode 100644
index 0000000..ff1a686
--- /dev/null
+++ b/debian/gnome-shell-extension-remove-rounded-corners.gsettings-override
@@ -0,0 +1,2 @@
+[org.gnome.shell]
+enabled-extensions=['remove-rounded-corners@markbokil.com']
diff --git a/debian/patches/progress-linux/0001-shell-version.patch b/debian/patches/progress-linux/0001-shell-version.patch
new file mode 100644
index 0000000..dfae175
--- /dev/null
+++ b/debian/patches/progress-linux/0001-shell-version.patch
@@ -0,0 +1,22 @@
+Author: Daniel Baumann <daniel.baumann@progress-linux.org>
+Description: Updating gnome shell version.
+
+diff -Naurp gnome-shell-extension-remove-rounded-corners.orig/metadata.json gnome-shell-extension-remove-rounded-corners/metadata.json
+--- gnome-shell-extension-remove-rounded-corners.orig/metadata.json
++++ gnome-shell-extension-remove-rounded-corners/metadata.json
+@@ -8,7 +8,14 @@
+ "shell-version": [
+ "3.4",
+ "3.6",
+- "3.8"
++ "3.8",
++ "3.10",
++ "3.12",
++ "3.14",
++ "3.16",
++ "3.18",
++ "3.20",
++ "3.22"
+ ],
+ "url": "http://markbokil.com/downloads/extensions/",
+ "uuid": "remove-rounded-corners@markbokil.com",
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..0fd4ae0
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+progress-linux/0001-shell-version.patch
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..0f9e214
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,8 @@
+#!/usr/bin/make -f
+
+%:
+ dh ${@}
+
+override_dh_auto_install:
+ mkdir -p debian/gnome-shell-extension-remove-rounded-corners/usr/share/gnome-shell/extensions/remove-rounded-corners@markbokil.com
+ find . -maxdepth 1 -mindepth 1 -and -not -name debian -exec cp -a {} debian/gnome-shell-extension-remove-rounded-corners/usr/share/gnome-shell/extensions/remove-rounded-corners@markbokil.com \;
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)
diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 0000000..2ee6f0f
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1 @@
+abort-on-upstream-changes