diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ _uuid=ddterm@amezin.github.com _pkgname=ddterm pkgname=gnome-shell-extension-$_pkgname -pkgver=29 +pkgver=30 pkgrel=1 pkgdesc="Another Drop Down Terminal Extension for GNOME Shell" arch=('any') @@ -12,7 +12,7 @@ depends=('gnome-shell') install=$_pkgname.install makedepends=('zip') source=($pkgname-v$pkgver.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v$pkgver/ddterm@amezin.github.com.shell-extension.zip) -sha256sums=('aa7a8028e7cb5e548932f5f156a2671d5687a9b2ad5f76237608e4774f1b29a3') +sha256sums=('b2d773ce71ef586668a4d54fa5c7a797c32930cda13029d197afae363f97b4a8') package() { local dest="${pkgdir}/usr/share/gnome-shell/extensions/$_uuid" |