diff options
author | junkfactory | 2022-05-21 19:26:34 -0700 |
---|---|---|
committer | junkfactory | 2022-05-21 19:26:34 -0700 |
commit | 3801ffce7b460cd55c9326de9cebb693865cfe0b (patch) | |
tree | ecda38fefb84abf24258f45b61827688a16fb359 | |
parent | 8a524df37da927a62006504cfd2dd47068cd1c30 (diff) | |
download | aur-3801ffce7b460cd55c9326de9cebb693865cfe0b.tar.gz |
Update to v30
-rw-r--r-- | .SRCINFO | 6 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 5 insertions, 5 deletions
@@ -1,6 +1,6 @@ pkgbase = gnome-shell-extension-ddterm pkgdesc = Another Drop Down Terminal Extension for GNOME Shell - pkgver = 29 + pkgver = 30 pkgrel = 1 url = https://github.com/amezin/gnome-shell-extension-ddterm install = ddterm.install @@ -8,7 +8,7 @@ pkgbase = gnome-shell-extension-ddterm license = GPL3 makedepends = zip depends = gnome-shell - source = gnome-shell-extension-ddterm-v29.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v29/ddterm@amezin.github.com.shell-extension.zip - sha256sums = aa7a8028e7cb5e548932f5f156a2671d5687a9b2ad5f76237608e4774f1b29a3 + source = gnome-shell-extension-ddterm-v30.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v30/ddterm@amezin.github.com.shell-extension.zip + sha256sums = b2d773ce71ef586668a4d54fa5c7a797c32930cda13029d197afae363f97b4a8 pkgname = gnome-shell-extension-ddterm @@ -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" |