gnome-shell-extension-autohide-topbar/PKGBUILD

   1 # Contributor: Andreas Schrafl <aschrafl@gmail.com>
   2 # Based on work form : Alucryd <alucryd@gmail.com>
   3 pkgname=gnome-shell-extension-autohide-topbar
   4 pkgver=2.0
   5 pkgrel=2
   6 pkgdesc="A gnome-shell extension to hide the top bar automatically"
   7 url=("http://www.fpmurphy.com/gnome-shell-extensions")
   8 source=("$url/autohidetopbar-$pkgver.tar.gz")
   9 md5sums=('2007eff3d4fc61847191be9fa7955124')
  10
  11 _extname=('autohidetopbar@fpmurphy.com')
  12
  13 arch=('any')
  14 license=('GPL2')
  15 depends=('gnome-shell')
  16
  17 build() {
  18     cd "$srcdir/$_extname"
  19     msg "Increase double-clicking threshold."
  20     sed -i 's/TIME_DELTA = 1500/TIME_DELTA = 2000/g' extension.js
  21 ls
  22 }
  23
  24 package() {
  25     cd "$srcdir"
  26     mkdir -p "$pkgdir/usr/share/gnome-shell/extensions/"
  27     cp -R "$_extname" "$pkgdir/usr/share/gnome-shell/extensions"
  28 }
  29