diff options
-rw-r--r-- | debian/changelog | 5 | ||||
-rw-r--r-- | debian/compat | 1 | ||||
-rw-r--r-- | debian/control | 30 | ||||
-rw-r--r-- | debian/copyright | 18 | ||||
-rw-r--r-- | debian/gnome-shell-extension-remove-rounded-corners.gsettings-override | 2 | ||||
-rw-r--r-- | debian/patches/progress-linux/0001-shell-version.patch | 22 | ||||
-rw-r--r-- | debian/patches/series | 1 | ||||
-rwxr-xr-x | debian/rules | 8 | ||||
-rw-r--r-- | debian/source/format | 1 | ||||
-rw-r--r-- | debian/source/local-options | 1 |
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 |