summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorsurefire2017-01-11 23:44:29 +0300
committersurefire2017-01-11 23:44:29 +0300
commit296ebf2e36cd09f8490f28d502a09f68edfb9fba (patch)
tree7a27dabde6059b4d19c47b35dddad1844429e6b2
downloadaur-296ebf2e36cd09f8490f28d502a09f68edfb9fba.tar.gz
Initial
-rw-r--r--.SRCINFO17
-rw-r--r--.gitignore4
-rw-r--r--PKGBUILD36
3 files changed, 57 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..d6003e88a56
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,17 @@
+pkgbase = gnome-shell-extension-shelltile-git
+ pkgdesc = A tiling window extension for GNOME Shell
+ pkgver = 0+19+g569ddba
+ pkgrel = 1
+ url = https://extensions.gnome.org/extension/657/shelltile/
+ arch = any
+ groups = gnome-shell-extensions
+ license = GPLv2
+ makedepends = git
+ depends = gnome-shell
+ provides = gnome-shell-extension-shelltile
+ conflicts = gnome-shell-extension-shelltile
+ source = git+https://github.com/emasab/shelltile.git
+ sha256sums = SKIP
+
+pkgname = gnome-shell-extension-shelltile-git
+
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 00000000000..8230f0b5d36
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,4 @@
+shelltile/
+pkg/
+src/
+*.pkg.tar.*
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..21e7e60c3e3
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,36 @@
+# Maintainer: surefire@cryptomile.net
+
+pkgname=gnome-shell-extension-shelltile-git
+pkgver=0+19+g569ddba
+pkgrel=1
+pkgdesc='A tiling window extension for GNOME Shell'
+arch=('any')
+url='https://extensions.gnome.org/extension/657/shelltile/'
+license=('GPLv2')
+depends=('gnome-shell')
+makedepends=('git')
+conflicts=('gnome-shell-extension-shelltile')
+provides=('gnome-shell-extension-shelltile')
+groups=('gnome-shell-extensions')
+source=('git+https://github.com/emasab/shelltile.git')
+sha256sums=('SKIP')
+
+pkgver() {
+ cd shelltile
+
+ printf '0+%s+g%s' $(git rev-list --count HEAD) $(git rev-parse --short HEAD)
+}
+
+package() {
+ cd shelltile
+
+ local uuid='ShellTile@emasab.it'
+ local destdir="$pkgdir/usr/share/gnome-shell/extensions/$uuid"
+
+ install -Dm644 -t "$pkgdir/usr/share/glib-2.0/schemas" schemas/*.xml
+ install -Dm644 -t "$pkgdir/usr/share/licenses/${pkgname%-git}" LICENSE
+
+ install -Dm644 -t "$destdir" *.js *.json *.css
+ find locale -type f -name '*.mo' \
+ -exec cp --parents -dpt "$destdir" {} +
+}