gnome-shell-extension-rhsmenu/PKGBUILD

   1 # Maintainer:  Elder Marco <eldermarco at gmail dot com>
   2
   3 pkgname=gnome-shell-extension-rhsmenu
   4 _pkgname=rhsmenu
   5 pkgver=1.0
   6 pkgrel=1
   7 pkgdesc='RHS Mint Menu extension. Add a full menu to right-hand side of top panel'
   8
   9 license=('GPL2')
  10 url="http://fpmurphy.com/gnome-shell-extensions"
  11 source=("http://www.fpmurphy.com/gnome-shell-extensions/${_pkgname}-${pkgver}.tar.gz")
  12
  13 depends=('gnome-shell>=3.2.0')
  14
  15 arch=('any')
  16 md5sums=('56a994cbfb4cd84a83c4322ce2473210')
  17
  18 package () {
  19     _uuid="${_pkgname}@fpmurphy.com"
  20     cd "${srcdir}/${_uuid}"
  21
  22     # The extension
  23     mkdir -p "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}"
  24     cp -pr icons {extension.js,metadata.json,stylesheet.css} \
  25         "${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}/"
  26 }
  27 # expandtab:tabstop=4:shiftwidth=4