diff options
author | carlwgeorge | 2017-01-14 16:50:30 -0600 |
---|---|---|
committer | carlwgeorge | 2017-01-14 16:50:30 -0600 |
commit | e92f34c3cea8c0ab4b5a85a5aeba28ce1ce48459 (patch) | |
tree | 695b935f991f9542f9abe7e1c35e36476c78c91f | |
download | aur-e92f34c3cea8c0ab4b5a85a5aeba28ce1ce48459.tar.gz |
3-1
-rw-r--r-- | .SRCINFO | 18 | ||||
-rw-r--r-- | PKGBUILD | 24 |
2 files changed, 42 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..d7c4747ef1ed --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +# Generated by mksrcinfo v8 +# Sat Jan 14 22:50:17 UTC 2017 +pkgbase = gnome-shell-extension-dash-to-panel + pkgdesc = Extension for GNOME shell to combine the dash and main panel + pkgver = 3 + pkgrel = 1 + url = https://github.com/jderose9/dash-to-panel + arch = any + license = GPL2 + makedepends = git + makedepends = gnome-common + makedepends = intltool + source = https://github.com/jderose9/dash-to-panel/archive/v3.tar.gz + sha256sums = 16646af8067bb18c6cae5e90568781b7d4ef7a0b03344446cf1a18ccb529cabb + +pkgname = gnome-shell-extension-dash-to-panel + depends = gnome-shell>=3.18 + diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..0ed7f92d0741 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,24 @@ +# Maintainer: Carl George < arch at cgtx dot us > + +pkgname=gnome-shell-extension-dash-to-panel +_name=dash-to-panel +pkgver=3 +pkgrel=1 +pkgdesc='Extension for GNOME shell to combine the dash and main panel' +arch=(any) +url="https://github.com/jderose9/dash-to-panel" +license=(GPL2) +makedepends=(git gnome-common intltool) +source=("https://github.com/jderose9/dash-to-panel/archive/v${pkgver}.tar.gz") +sha256sums=('16646af8067bb18c6cae5e90568781b7d4ef7a0b03344446cf1a18ccb529cabb') + +build() { + cd "${srcdir}/${_name}-${pkgver}" + make VERSION="$pkgver" _build +} + +package() { + depends=('gnome-shell>=3.18') + cd "${srcdir}/${_name}-${pkgver}" + make DESTDIR="$pkgdir" install +} |