From 48919fbe56424e6edcc160753948befba16cc75c Mon Sep 17 00:00:00 2001 From: honjow Date: Wed, 25 Dec 2024 08:54:24 +0800 Subject: [PATCH] remove gnome-shell-extension-logo-menu --- pkgs/gnome-shell-extension-logo-menu/PKGBUILD | 48 ------------------- 1 file changed, 48 deletions(-) delete mode 100644 pkgs/gnome-shell-extension-logo-menu/PKGBUILD diff --git a/pkgs/gnome-shell-extension-logo-menu/PKGBUILD b/pkgs/gnome-shell-extension-logo-menu/PKGBUILD deleted file mode 100644 index 4f19a5b3..00000000 --- a/pkgs/gnome-shell-extension-logo-menu/PKGBUILD +++ /dev/null @@ -1,48 +0,0 @@ -# Maintainer: getzze - -pkgname=gnome-shell-extension-logo-menu -pkgver=23.4 -_pkgname=Logomenu -_tag="211024" -pkgrel=1 -pkgdesc='Quick access menu for the GNOME panel that help ease the workflow for newcomers and power users alike.' -arch=('any') -url="https://github.com/honjow/Logomenu" -license=('GPL2') -depends=('gnome-shell') -makedepends=('unzip') -source=("${url}/archive/refs/tags/v${pkgver}_${_tag}.tar.gz") -sha256sums=('SKIP') - -build() { - cd "${_pkgname}-${pkgver}_${_tag}" - make build -} - -package() { - cd "${_pkgname}-${pkgver}_${_tag}" - - local _uuid=logomenu@aryan_k - - # Install to prefix - ## Does not always work because of bug: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2821 - ##XDG_DATA_HOME="${pkgdir}/usr/share" gnome-extensions install "${_uuid}.shell-extension.zip" - - # Install to dest dir - local _destdir="${pkgdir}/usr/share/gnome-shell/extensions/${_uuid}" - install -d "${_destdir}" - unzip ./"${_uuid}.shell-extension.zip" -d "${_destdir}" - - # Move settings schema to system schema dir and remove compiled schema (a - # pacman hook generates those) - install -d "${pkgdir}/usr/share/glib-2.0/" - mv "${_destdir}/schemas" \ - "${pkgdir}/usr/share/glib-2.0/" - rm "${pkgdir}/usr/share/glib-2.0/schemas/gschemas.compiled" || true - - # Move local to system locale directory - mv "${_destdir}/locale" \ - "${pkgdir}/usr/share" - - install -Dm 644 README.md "${pkgdir}/usr/share/doc/${pkgname}/README.md" -}