summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMohammadreza Abdollahzadeh2022-11-10 12:06:37 +0330
committerMohammadreza Abdollahzadeh2022-11-10 12:06:37 +0330
commitbe6eb15c9f88d215ab0895cfc1f8e60ab4c5efdd (patch)
treefaed254ac31956637a9426534eb53a26f10f6974
downloadaur-be6eb15c9f88d215ab0895cfc1f8e60ab4c5efdd.tar.gz
initial import
-rw-r--r--.SRCINFO18
-rw-r--r--PKGBUILD38
-rw-r--r--gnome-shell-extension-ddterm.install8
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 ''
+}