tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitLab,
5 glib,
6 gettext,
7 replaceVars,
8 gnome-menus,
9}:
10
11stdenv.mkDerivation rec {
12 pname = "gnome-shell-extension-arcmenu";
13 version = "65";
14
15 src = fetchFromGitLab {
16 owner = "arcmenu";
17 repo = "ArcMenu";
18 rev = "v${version}";
19 hash = "sha256-EEK600DwIQAPWR07IMPNZFiWWkiG0blp/D0VKAcc7ns=";
20 };
21
22 patches = [
23 (replaceVars ./fix_gmenu.patch {
24 gmenu_path = "${gnome-menus}/lib/girepository-1.0";
25 })
26 ];
27
28 buildInputs = [
29 glib
30 gettext
31 ];
32
33 makeFlags = [ "INSTALLBASE=${placeholder "out"}/share/gnome-shell/extensions" ];
34
35 passthru = {
36 extensionUuid = "arcmenu@arcmenu.com";
37 extensionPortalSlug = "arcmenu";
38 };
39
40 meta = with lib; {
41 description = "Application menu for GNOME Shell, designed to provide a more traditional user experience and workflow";
42 license = licenses.gpl2Plus;
43 maintainers = with maintainers; [ dkabot ];
44 homepage = "https://gitlab.com/arcmenu/ArcMenu";
45 };
46}