diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2019-09-03 04:26:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-09-03 04:26:44 +0200 |
commit | 4a220b64b431a2d3d7efd5a3dc5f8641929f618e (patch) | |
tree | c2a0e49cedd777a44064e26a088f2f27d71aebbe /pkgs/desktops | |
parent | 0c52651bb73c3c8b7446803dcc4229f9c3bfbc22 (diff) | |
parent | 51e71596f83617d7140c05f775b1523949d9817e (diff) | |
download | nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar.gz nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar.bz2 nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar.lz nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar.xz nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.tar.zst nixlib-4a220b64b431a2d3d7efd5a3dc5f8641929f618e.zip |
Merge pull request #67964 from dkabot/arc-menu_init
gnomeExtensions.arc-menu: init at 31
Diffstat (limited to 'pkgs/desktops')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/arc-menu/default.nix | 33 | ||||
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch | 12 |
2 files changed, 45 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix new file mode 100644 index 000000000000..b38f0aeba919 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix @@ -0,0 +1,33 @@ +{ stdenv, fetchFromGitLab, glib, gettext, substituteAll, gnome-menus }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-arc-menu"; + version = "31"; + + src = fetchFromGitLab { + owner = "LinxGem33"; + repo = "Arc-Menu"; + rev = "v${version}-stable"; + sha256 = "124jgdy6mw76nrkq3f0y7qkhdm39wg273zifdvwbgpvirwzxbia1"; + }; + + patches = [ + (substituteAll { + src = ./fix_gmenu.patch; + gmenu_path = "${gnome-menus}/lib/girepository-1.0"; + }) + ]; + + buildInputs = [ + glib gettext + ]; + + makeFlags = [ "INSTALL_BASE=$(out)/share/gnome-shell/extensions" ]; + + meta = with stdenv.lib; { + description = "Gnome shell extension designed to replace the standard menu found in Gnome 3"; + license = licenses.gpl2Plus; + maintainers = with maintainers; [ dkabot ]; + homepage = https://gitlab.com/LinxGem33/Arc-Menu; + }; +} diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch b/pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch new file mode 100644 index 000000000000..7f6b8489ea8b --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/arc-menu/fix_gmenu.patch @@ -0,0 +1,12 @@ +--- a/extension.js ++++ b/extension.js +@@ -29,6 +29,8 @@ + * https://github.com/The-Panacea-Projects/Gnomenu + */ + ++ ++imports.gi.GIRepository.Repository.prepend_search_path('@gmenu_path@'); + + // Import Libraries + const Main = imports.ui.main; + |