diff options
author | Mohammadreza Abdollahzadeh | 2022-11-10 12:06:37 +0330 |
---|---|---|
committer | Mohammadreza Abdollahzadeh | 2022-11-10 12:06:37 +0330 |
commit | be6eb15c9f88d215ab0895cfc1f8e60ab4c5efdd (patch) | |
tree | faed254ac31956637a9426534eb53a26f10f6974 | |
download | aur-be6eb15c9f88d215ab0895cfc1f8e60ab4c5efdd.tar.gz |
initial import
-rw-r--r-- | .SRCINFO | 18 | ||||
-rw-r--r-- | PKGBUILD | 38 | ||||
-rw-r--r-- | gnome-shell-extension-ddterm.install | 8 |
3 files changed, 64 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..8e3ebde8c88c --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +pkgbase = gnome-shell-extension-ddterm-git + pkgdesc = Another Drop Down Terminal Extension for GNOME Shell (Github version). + pkgver = 40.r14.g2e27988 + pkgrel = 1 + url = https://github.com/ddterm/gnome-shell-extension-ddterm + install = gnome-shell-extension-ddterm.install + arch = any + license = GPL3 + makedepends = gettext + makedepends = git + makedepends = libxslt + makedepends = npm + makedepends = zip + depends = gnome-shell + source = gnome-shell-extension-ddterm::git+https://github.com/ddterm/gnome-shell-extension-ddterm.git + sha256sums = SKIP + +pkgname = gnome-shell-extension-ddterm-git diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..f82a9ff372a7 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,38 @@ +# Maintainer: Mohammadreza Abdollahzadeh < morealaz at gmail dot com > + +pkgname=gnome-shell-extension-ddterm-git +pkgver=40.r14.g2e27988 +pkgrel=1 +pkgdesc="Another Drop Down Terminal Extension for GNOME Shell (Github version)." +arch=('any') +url="https://github.com/ddterm/${pkgname%-git}" +license=('GPL3') +depends=('gnome-shell') +makedepends=('gettext' 'git' 'libxslt' 'npm' 'zip') +install=${pkgname%-git}.install +source=("${pkgname%-git}::git+${url}.git") +sha256sums=('SKIP') + +pkgver() { + cd "${pkgname%-git}" + git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g' +} + +prepare() { + cd "${pkgname%-git}" + npm install --omit dev --cache "${srcdir}/npm-cache" +} + +build() { + cd "${pkgname%-git}" + make pack +} + +package() { + cd "${pkgname%-git}" + local _uuid="ddterm@amezin.github.com" + local dest="${pkgdir}/usr/share/gnome-shell/extensions/$_uuid" + install -d "${dest}" + bsdtar --no-same-owner -xvf ${_uuid}.shell-extension.zip -C "${dest}" +} +# vim:set ts=4 sw=4 et: diff --git a/gnome-shell-extension-ddterm.install b/gnome-shell-extension-ddterm.install new file mode 100644 index 000000000000..ce23fe90ad05 --- /dev/null +++ b/gnome-shell-extension-ddterm.install @@ -0,0 +1,8 @@ +post_install() { + echo '' + echo '==> To enable Drop Down Terminal:' + echo '==> Reload Gnome Shell with Alt-F2 r (on Xorg), logout -> login (wayland)' + echo '==> Enable it with the extensions tool' + echo '==> or run "gnome-extensions enable ddterm@amezin.github.com"' + echo '' +} |