bffbf4617a
Their keys are now not used directly. Instead, we go the standard route of mapping to the UUID in order to apply the rename procedure. This makes sure the manual override always does the correct thing, and also gives us more consistency overall.
39 lines
985 B
Nix
39 lines
985 B
Nix
{ lib, stdenv, fetchFromGitLab, glib, gettext, substituteAll, gnome-menus }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
pname = "gnome-shell-extension-arcmenu";
|
|
version = "10";
|
|
|
|
src = fetchFromGitLab {
|
|
owner = "arcmenu";
|
|
repo = "ArcMenu";
|
|
rev = "v${version}";
|
|
sha256 = "04kn3gnjz1wakp0pyiwm0alf0pwsralhis36miif9i6l5iv6a394";
|
|
};
|
|
|
|
patches = [
|
|
(substituteAll {
|
|
src = ./fix_gmenu.patch;
|
|
gmenu_path = "${gnome-menus}/lib/girepository-1.0";
|
|
})
|
|
];
|
|
|
|
buildInputs = [
|
|
glib gettext
|
|
];
|
|
|
|
makeFlags = [ "INSTALLBASE=${placeholder "out"}/share/gnome-shell/extensions" ];
|
|
|
|
passthru = {
|
|
extensionUuid = "arcmenu@arcmenu.com";
|
|
extensionPortalSlug = "arcmenu";
|
|
};
|
|
|
|
meta = with lib; {
|
|
description = "Application menu for GNOME Shell, designed to provide a more traditional user experience and workflow";
|
|
license = licenses.gpl2Plus;
|
|
maintainers = with maintainers; [ dkabot ];
|
|
homepage = "https://gitlab.com/arcmenu/ArcMenu";
|
|
};
|
|
}
|