Package Details: gnome-shell-extension-ddterm-git 43.r6.g56ffce0-1

Git Clone URL: (read-only, click to copy)
Package Base: gnome-shell-extension-ddterm-git
Description: Another Drop Down Terminal Extension for GNOME Shell (Github version).
Upstream URL:
Keywords: gnome-shell,terminal,extension
Licenses: GPL3
Conflicts: gnome-shell-extension-ddterm
Provides: gnome-shell-extension-ddterm
Submitter: morealaz
Maintainer: morealaz (amezin)
Last Packager: morealaz
Votes: 2
Popularity: 0.39
First Submitted: 2022-11-10 08:36 (UTC)
Last Updated: 2022-12-27 07:11 (UTC)

Latest Comments

amezin commented on 2022-11-16 13:41 (UTC)

zip dependency is not necessary with system-wide/DESTDIR 'make install' - files are directly installed into correct locations. No packing/unpacking happens.

morealaz commented on 2022-11-16 11:33 (UTC)

@amezin: Thanks. I fixed PKGBUILD and made you co-maintainer of the package.

amezin commented on 2022-11-16 02:08 (UTC)

I've added a PKGBUILD template to project's repository:

For -git package, the only thing you need to change is to replace source= with correct git URL.