diff options
| author | Maxim Andersson | 2015-06-08 15:11:57 +0200 |
|---|---|---|
| committer | Maxim Andersson | 2015-06-08 15:11:57 +0200 |
| commit | 7fc8914af375cb1d2ac759e1f065162d75c24900 (patch) | |
| tree | aa6d08bfdb72accf71c6e371a5aca161f4e2c0af | |
| download | aur-7fc8914af375cb1d2ac759e1f065162d75c24900.tar.gz | |
Initial import
| -rw-r--r-- | .SRCINFO | 17 | ||||
| -rw-r--r-- | PKGBUILD | 28 | ||||
| -rw-r--r-- | gnome-shell-extension-pixel-saver-git.install | 7 |
3 files changed, 52 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..87d98eaa6e87 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +pkgbase = gnome-shell-extension-pixel-saver-git + pkgdesc = Saves pixels by fusing activity bar and title bar in a natural way + pkgver = 1.4.r2.gb1e852a + pkgrel = 1 + url = https://github.com/deadalnix/pixel-saver + install = gnome-shell-extension-pixel-saver-git.install + arch = any + license = unknown + makedepends = git + depends = gnome-shell + depends = xorg-xprop + conflicts = gnome-shell-extension-pixel-saver + source = git://github.com/deadalnix/pixel-saver.git + sha256sums = SKIP + +pkgname = gnome-shell-extension-pixel-saver-git + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..f767b30d7509 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,28 @@ +# Maintainer: Maxim Andersson <thesilentboatman@gmail.com> + +pkgname=gnome-shell-extension-pixel-saver-git +_gitname=pixel-saver +pkgver=1.4.r2.gb1e852a +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') +makedepends=('git') +conflicts=('gnome-shell-extension-pixel-saver') +install=${pkgname}.install +source=('git://github.com/deadalnix/pixel-saver.git') +sha256sums=('SKIP') + +pkgver() { + cd "$srcdir/${_gitname}" + git describe --long --tags | sed -r 's/([^-]*-g)/r\1/;s/-/./g' +} + +package() { + install -d "${pkgdir}/usr/share/gnome-shell/extensions" + cp -af "${srcdir}/${_gitname}/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-git.install b/gnome-shell-extension-pixel-saver-git.install new file mode 100644 index 000000000000..7cf62f58ec53 --- /dev/null +++ b/gnome-shell-extension-pixel-saver-git.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 '' +} |