diff options
Diffstat (limited to 'community/gnome-do')
| -rw-r--r-- | community/gnome-do/PKGBUILD | 28 | ||||
| -rw-r--r-- | community/gnome-do/gnome-do.install | 16 |
2 files changed, 44 insertions, 0 deletions
diff --git a/community/gnome-do/PKGBUILD b/community/gnome-do/PKGBUILD new file mode 100644 index 000000000..057d42673 --- /dev/null +++ b/community/gnome-do/PKGBUILD @@ -0,0 +1,28 @@ +# $Id: PKGBUILD 16886 2010-05-12 16:41:03Z ibiru $ +# Maintainer: Allan McRae <allan@archlinux.org> +# Contributor: Doehni <dohny@gmx.de> + +pkgname=gnome-do +pkgver=0.8.3.1 +_pkgver=0.8.3 +pkgrel=2 +pkgdesc="A launcher application for gnome (like Launchy or Katapult)" +arch=('i686' 'x86_64') +url="http://do.davebsd.com/" +license=('GPL3') +depends=('ndesk-dbus-glib' 'gnome-desktop-sharp' 'mono-addins' 'gtk2' + 'gnome-keyring-sharp' 'notify-sharp-svn' 'xdg-utils' 'desktop-file-utils') +makedepends=('intltool' 'ca-certificates') +options=('!libtool') +install=$pkgname.install +source=(http://code.edge.launchpad.net/do/0.8/${_pkgver}/+download/${pkgname}-${pkgver}.tar.gz) + +build() { + export MONO_SHARED_DIR="${srcdir}/.wabi" + mkdir -p "${MONO_SHARED_DIR}" + cd "${srcdir}/${pkgname}-$pkgver" + ./configure --prefix=/usr --sysconfdir=/etc + make || return 1 + make DESTDIR="$pkgdir" install || return 1 +} +md5sums=('6b4e2b55241892d165b504b1fb98645e') diff --git a/community/gnome-do/gnome-do.install b/community/gnome-do/gnome-do.install new file mode 100644 index 000000000..b82a99ad7 --- /dev/null +++ b/community/gnome-do/gnome-do.install @@ -0,0 +1,16 @@ +post_install() { + update-desktop-database -q + gtk-update-icon-cache -q -t -f usr/share/icons/hicolor + + echo "==> To use docky, make sure your compoisiting manager is" + echo "==> running before launching gnome-do." +} + +post_upgrade() { + post_install $1 +} + +post_remove() { + update-desktop-database -q + gtk-update-icon-cache -q -t -f usr/share/icons/hicolor +} |