diff options
author | junkfactory | 2022-01-04 15:54:51 -0800 |
---|---|---|
committer | junkfactory | 2022-01-04 15:54:51 -0800 |
commit | 9216880f881c87386b49a7b1e7784d1b3f80e081 (patch) | |
tree | 7c872da1975c5a8063900453befe0113b52c16d6 | |
parent | bbc6324cedf80ceab3d6b42e9ca51e6fc60546a5 (diff) | |
download | aur-9216880f881c87386b49a7b1e7784d1b3f80e081.tar.gz |
Updated to v25
-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 = 24 + pkgver = 25 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-v24.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v24/ddterm@amezin.github.com.shell-extension.zip - sha256sums = 1c17edeaf833863517390fff39b9801b76850133f1fb42b42ad3ca44cd2511d9 + source = gnome-shell-extension-ddterm-v25.zip::https://github.com/amezin/gnome-shell-extension-ddterm/releases/download/v25/ddterm@amezin.github.com.shell-extension.zip + sha256sums = c49579c7e91618215eb7e773fd58a1a05b4d3470429720d27fc72e3843529005 pkgname = gnome-shell-extension-ddterm @@ -2,7 +2,7 @@ _uuid=ddterm@amezin.github.com _pkgname=ddterm pkgname=gnome-shell-extension-$_pkgname -pkgver=24 +pkgver=25 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=('1c17edeaf833863517390fff39b9801b76850133f1fb42b42ad3ca44cd2511d9') +sha256sums=('c49579c7e91618215eb7e773fd58a1a05b4d3470429720d27fc72e3843529005') package() { local dest="${pkgdir}/usr/share/gnome-shell/extensions/$_uuid" |