summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO20
-rw-r--r--PKGBUILD37
-rw-r--r--gschemas.install20
3 files changed, 77 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..5389759e8f8
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,20 @@
+# Generated by makepkg 4.2.1
+# Fri Jun 12 14:08:19 UTC 2015
+pkgbase = gnome-shell-extension-dash-to-dock
+ pkgdesc = A gnome-shell extension that transforms the dash into an intellihide dock
+ pkgver = v46
+ pkgrel = 2
+ url = https://github.com/micheleg/dash-to-dock
+ install = gschemas.install
+ arch = any
+ license = GPL
+ makedepends = gnome-common
+ makedepends = intltool
+ depends = dconf
+ provides = gnome-shell-extension-dash-to-dock
+ conflicts = gnome-shell-extensions-dash-to-dock-git
+ source = gnome-shell-extension-dash-to-dock::https://github.com/micheleg/dash-to-dock/archive/extensions.gnome.org-v46.tar.gz
+ md5sums = f085cee5b4373029a00d7987081d1d5d
+
+pkgname = gnome-shell-extension-dash-to-dock
+
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 00000000000..38a415499da
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,37 @@
+# Maintainer: Janne Haapsaari <haaja@iki.fi>
+# Contributor: Christopher KrooƟ <didi2002 at web.de>
+pkgname=gnome-shell-extension-dash-to-dock
+pkgver=v46
+pkgrel=2
+pkgdesc="A gnome-shell extension that transforms the dash into an intellihide dock"
+arch=('any')
+url="https://github.com/micheleg/dash-to-dock"
+license=('GPL')
+depends=('dconf')
+makedepends=('gnome-common' 'intltool')
+provides=('gnome-shell-extension-dash-to-dock')
+conflicts=('gnome-shell-extensions-dash-to-dock-git')
+source=("$pkgname::https://github.com/micheleg/dash-to-dock/archive/extensions.gnome.org-${pkgver}.tar.gz")
+md5sums=('f085cee5b4373029a00d7987081d1d5d')
+install='gschemas.install'
+
+_archivename="dash-to-dock-extensions.gnome.org-${pkgver}"
+
+prepare() {
+ cd "$srcdir/$_archivename"
+ sed -i 's/INSTALLBASE = ~\/.local\/share\/gnome-shell\/extensions/INSTALLBASE = ${DESTDIR}/'\
+ Makefile
+}
+
+build() {
+ cd "$srcdir/$_archivename"
+ make
+}
+
+package() {
+ cd "$srcdir/$_archivename"
+ mkdir -p "${pkgdir}/usr/share/gnome-shell/extensions" "${pkgdir}/usr/share/glib-2.0/schemas/"
+ make DESTDIR=${pkgdir}/usr/share/gnome-shell/extensions install
+ install -m644 "schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml" \
+ "${pkgdir}/usr/share/glib-2.0/schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xml"
+}
diff --git a/gschemas.install b/gschemas.install
new file mode 100644
index 00000000000..2656464bbbe
--- /dev/null
+++ b/gschemas.install
@@ -0,0 +1,20 @@
+post_install() {
+ /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/
+ instructions
+}
+
+post_upgrade() {
+ /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/
+ instructions
+}
+
+post_remove() {
+ /usr/bin/glib-compile-schemas /usr/share/glib-2.0/schemas/
+}
+
+instructions() {
+ /bin/cat << EOF
+Don't forget to restart GNOME Shell ([Alt]+[F2], r) and to enable extension
+with gnome-tweak-tool.
+EOF
+}