gnome-shell-extension-hide-dash-git/PKGBUILD

   1 # Contributor: Nazarov Pavel <nazarov.pn@gmail.com>
   2
   3 pkgname=gnome-shell-extension-hide-dash-git
   4 pkgver=20120120
   5 pkgrel=1
   6 pkgdesc="gnome-shell-extension-hide-dash is a simple extension that hides the dash from the activities overview"
   7 arch=('i686' 'x86_64')
   8 url="https://github.com/zacbarton/gnome-shell-extension-hide-dash"
   9 groups=('gnome-shell-extensions')
  10 license=('')
  11 depends=('gnome-shell')
  12
  13 _gitroot="git://github.com/zacbarton/gnome-shell-extension-hide-dash.git"
  14 _gitname="gnome-shell-extension-hide-dash"
  15
  16 build() {
  17   msg "Connecting to GIT server...."
  18
  19   if [ -d $startdir/src/$_gitname ] ; then
  20     cd $_gitname && git pull origin
  21     msg "The local files are updated."
  22   else
  23     git clone $_gitroot
  24   fi
  25
  26   msg "GIT checkout done or server timeout"
  27 }
  28
  29 package() {
  30     cd $srcdir/$_gitname
  31   install -Dm644 hide-dash@zacbarton.com/extension.js $pkgdir/usr/share/gnome-shell/extensions/hide-dash@zacbarton.com/extension.js
  32   install -Dm644 hide-dash@zacbarton.com/metadata.json $pkgdir/usr/share/gnome-shell/extensions/hide-dash@zacbarton.com/metadata.json
  33 }