blob: 19f168492ab2c2dfff56afd5d4897c6731828e10 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
pkgbase = gnome-shell-extension-ddterm
pkgdesc = Another Drop Down Terminal Extension for GNOME Shell
pkgver = 23
pkgrel = 1
url = https://github.com/amezin/gnome-shell-extension-ddterm
install = ddterm.install
arch = any
license = GPL3
makedepends = zip
depends = gnome-shell
source = gnome-shell-extension-ddterm-v23.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v23/ddterm@amezin.github.com.shell-extension.zip
sha256sums = b5ecaa9259dc6f269b1263b2c52b632cad1478918ae9dd79205d5b820ff829ee
pkgname = gnome-shell-extension-ddterm
|