diff options
author | worldofpeace <worldofpeace@protonmail.ch> | 2019-09-23 18:49:23 -0400 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2019-10-03 00:09:14 +0200 |
commit | 3b81b3a8274ce7afb0b41abf5c1e1a207ad15970 (patch) | |
tree | 15c9355ab99ff990cc9ffc8f61fa168f5b3f37c5 /pkgs/desktops/gnome-3 | |
parent | fc8413d218c5737dce9517f213bfd007369f9960 (diff) | |
download | nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar.gz nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar.bz2 nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar.lz nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar.xz nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.tar.zst nixlib-3b81b3a8274ce7afb0b41abf5c1e1a207ad15970.zip |
gnomeExtensions.arc-menu: 31 -> 33.2
Diffstat (limited to 'pkgs/desktops/gnome-3')
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/arc-menu/default.nix | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix index b38f0aeba919..cb1fa70d6819 100644 --- a/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix +++ b/pkgs/desktops/gnome-3/extensions/arc-menu/default.nix @@ -2,13 +2,13 @@ stdenv.mkDerivation rec { pname = "gnome-shell-arc-menu"; - version = "31"; + version = "33.2"; src = fetchFromGitLab { owner = "LinxGem33"; repo = "Arc-Menu"; - rev = "v${version}-stable"; - sha256 = "124jgdy6mw76nrkq3f0y7qkhdm39wg273zifdvwbgpvirwzxbia1"; + rev = "v${version}-dev"; + sha256 = "1dd9ysiyza6drwdv4qcxyijy7yijirjf2fd1aq5jv8s4bqajcqf4"; }; patches = [ @@ -22,7 +22,7 @@ stdenv.mkDerivation rec { glib gettext ]; - makeFlags = [ "INSTALL_BASE=$(out)/share/gnome-shell/extensions" ]; + makeFlags = [ "INSTALL_BASE=${placeholder "out"}/share/gnome-shell/extensions" ]; meta = with stdenv.lib; { description = "Gnome shell extension designed to replace the standard menu found in Gnome 3"; |