diff options
author | dkabot <1316469+dkabot@users.noreply.github.com> | 2019-09-02 16:20:44 -0400 |
---|---|---|
committer | dkabot <1316469+dkabot@users.noreply.github.com> | 2019-09-02 19:03:18 -0400 |
commit | 51e71596f83617d7140c05f775b1523949d9817e (patch) | |
tree | 3cc275d0153479a8462188dc7855e409538d277b /pkgs/desktops | |
parent | 12ae04518b004adf949a43125954b99c05189e6f (diff) | |
download | nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar.gz nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar.bz2 nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar.lz nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar.xz nixlib-51e71596f83617d7140c05f775b1523949d9817e.tar.zst nixlib-51e71596f83617d7140c05f775b1523949d9817e.zip |
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; + |