gnome-shell-extension-righthotcorner/PKGBUILD

   1 # Maintainer: SiD / sidious <miste78 at web de>
   2 pkgname=gnome-shell-extension-righthotcorner
   3 pkgver=1.0
   4 pkgrel=1
   5 pkgdesc="Adds an extra hot corner at upper right of your monitor"
   6 source=(http://www.fpmurphy.com/gnome-shell-extensions/righthotcorner-${pkgver}.tar.gz)
   7 arch=('any')
   8 url="http://www.fpmurphy.com/gnome-shell-extensions/"
   9 license=('GPL2')
  10 depends=('gnome-shell')
  11
  12 package() {
  13     cd "$srcdir"
  14     mkdir -p "$pkgdir/usr/share/gnome-shell/extensions/"
  15     cp -R "righthotcorner@fpmurphy.com" "$pkgdir/usr/share/gnome-shell/extensions"
  16 }
  17
  18 md5sums=('ff64aa340bb01b1ba5a537714da6fe52')