Hacks to work around gnome-shell popup-menu bug
[show-app-menu-on-key-press] / PKGBUILD
1 # Maintainer: James Bunton <jamesbunton@delx.net.au>
2
3 pkgname=gnome-shell-extension-show-app-menu-on-key-press
4 pkgver=3
5 pkgrel=1
6 pkgdesc="Gnome shell extension to show app menu on key press"
7 arch=('any')
8 source=("extension.js" "metadata.json")
9 sha512sums=('bffe74753a8567e2c6500b6a1c21130f99b1e3dfe23613e10597abb80f3549ea1d6327db0e75961ab1ccdf013733fdc283dde94cee34c1f666de86f745339e91'
10 'b356481db946a42f4ab92823ad29aa568696a52bb286f219605878535f2e353e0f3f118636c9a66046c4130f6e094205dea666833c6b63b0950a339e4b468a02')
11
12 package() {
13 for i in "${source[@]}"; do
14 install -Dm 644 "$i" "${pkgdir}/usr/share/gnome-shell/extensions/show-app-menu-on-key-press@delx.net.au/${i}"
15 done
16 }