summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO15
-rw-r--r--PKGBUILD22
-rw-r--r--gnome-shell-extension-pixel-saver.install7
3 files changed, 44 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 000000000000..db464ce960e9
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,15 @@
+pkgbase = gnome-shell-extension-pixel-saver
+ pkgdesc = Saves pixels by fusing activity bar and title bar in a natural way
+ pkgver = 1.5
+ pkgrel = 1
+ url = https://github.com/deadalnix/pixel-saver
+ install = gnome-shell-extension-pixel-saver.install
+ arch = any
+ license = unknown
+ depends = gnome-shell
+ depends = xorg-xprop
+ source = https://github.com/deadalnix/pixel-saver/archive/1.5.tar.gz
+ sha256sums = dbffd28685cc3aa79db1a1fa3d25c67f1a89778018578a8802f332a55a82760b
+
+pkgname = gnome-shell-extension-pixel-saver
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..e345c4e6e2f2
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,22 @@
+# Maintainer: Maxim Andersson <thesilentboatman@gmail.com>
+
+pkgname=gnome-shell-extension-pixel-saver
+pkgver=1.5
+pkgrel=1
+pkgdesc="Saves pixels by fusing activity bar and title bar in a natural way"
+arch=('any')
+url="https://github.com/deadalnix/pixel-saver"
+license=('unknown')
+depends=('gnome-shell' 'xorg-xprop')
+install=${pkgname}.install
+source=("https://github.com/deadalnix/pixel-saver/archive/${pkgver}.tar.gz")
+sha256sums=('dbffd28685cc3aa79db1a1fa3d25c67f1a89778018578a8802f332a55a82760b')
+
+package() {
+ install -d "${pkgdir}/usr/share/gnome-shell/extensions"
+
+ cd "${srcdir}/pixel-saver-${pkgver}"
+ cp -af "pixel-saver@deadalnix.me" "${pkgdir}/usr/share/gnome-shell/extensions/"
+}
+
+# vim:set ts=2 sw=2 et:
diff --git a/gnome-shell-extension-pixel-saver.install b/gnome-shell-extension-pixel-saver.install
new file mode 100644
index 000000000000..7cf62f58ec53
--- /dev/null
+++ b/gnome-shell-extension-pixel-saver.install
@@ -0,0 +1,7 @@
+post_install() {
+ echo ''
+ echo '==> To enable pixel-saver:'
+ echo '==> Reload Gnome Shell with Alt-F2 r'
+ echo '==> Enable it with gnome-tweak-tool or "gnome-shell-extension-tool -e pixel-saver@deadalnix.me"'
+ echo ''
+}