blob: f6a2a1227de9918d38cda842d836083eb263e502 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
# Maintainer: Scott Dickson <scottfoesho@gmail.com>
pkgname=gnome-shell-extension-gnomenu
pkgver=23
pkgrel=1
pkgdesc="GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface."
arch=('any')
url="https://github.com/The-Panacea-Projects/Gnomenu"
license=('GPL3')
depends=('gnome-shell')
source=("https://github.com/The-Panacea-Projects/Gnomenu/archive/gno-menu.v${pkgver}.tar.gz")
sha256sums=('3255ee9a9f54a395b1288cdd81fedbcaacfb6a389dcc74181cd57e9b82ab4fc6')
package() {
_extname='gnomenu@panacier.gmail.com'
cd "${srcdir}/Gnomenu-gno-menu.v${pkgver}"
rm README.md Screenshot.png
install -Dm644 extension.js -t "${pkgdir}/usr/share/gnome-shell/extensions/${_extname}"
install -Dm644 metadata.json -t "${pkgdir}/usr/share/gnome-shell/extensions/${_extname}"
}
|