blob: 10fd28941fabeef92080ea2b25e7dcdb23edb37e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
pkgbase = gnome-shell-extension-panel-corners
pkgdesc = A gnome-shell extension to keep the old topbar corners, which were removed for GNOME 42
pkgver = 13
pkgrel = 1
url = https://github.com/aunetx/panel-corners
arch = any
license = GPL-3.0-or later
makedepends = zip
depends = gnome-shell
source = panel-corners-13.tar.gz::https://github.com/aunetx/panel-corners/archive/refs/tags/v13.tar.gz
sha256sums = a09c09a7d19b91e51a8cfd6f7c6d73b2375acc7adfc024cda3323a600086bc26
pkgname = gnome-shell-extension-panel-corners
|