Skip to content

Commit

Permalink
Merge pull request #123658 from rhoriguchi/gnomeExtensions.fuzzy-app-…
Browse files Browse the repository at this point in the history
…search

gnomeExtensions.fuzzy-app-search: 4 -> 4.0.1
  • Loading branch information
jtojnar committed May 19, 2021
2 parents 446c97f + 3b34293 commit a4a35cd
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 55 deletions.
8 changes: 3 additions & 5 deletions pkgs/desktops/gnome/extensions/fuzzy-app-search/default.nix
Original file line number Diff line number Diff line change
Expand Up @@ -2,21 +2,19 @@

stdenv.mkDerivation rec {
pname = "gnome-shell-extension-fuzzy-app-search";
version = "4";
version = "4.0.1";

src = fetchFromGitLab {
owner = "Czarlie";
repo = "gnome-fuzzy-app-search";
rev = "da9c15d39958d9c3b38df3b616fd40b85aed24e5";
sha256 = "1r3qha530s97x818znn1wi76f4x9bhlgi7jlxfwjnrwys62cv5fn";
rev = "v${version}";
sha256 = "127n3jc5d6cl0yrpjf8acdj76br97knks1wx4f6jcswkx9x47w0a";
};

uuid = "gnome-fuzzy-app-search@gnome-shell-extensions.Czarlie.gitlab.com";

nativeBuildInputs = [ glib ];

patches = [ ./fix-desktop-file-paths.patch ];

makeFlags = [ "INSTALL_PATH=$(out)/share/gnome-shell/extensions" ];

meta = with lib; {
Expand Down

This file was deleted.

0 comments on commit a4a35cd

Please sign in to comment.