diff options
-rw-r--r-- | .SRCINFO | 15 | ||||
-rw-r--r-- | PKGBUILD | 22 | ||||
-rw-r--r-- | gnome-shell-extension-pixel-saver.install | 7 |
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 '' +} |