diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2020-07-16 11:23:44 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-16 11:23:44 +0200 |
commit | 332fa4387f371796c3a13d87f22f05fd35cc4274 (patch) | |
tree | b85e3d682b648d5fd383f56d5aa4eb08e69a90d6 | |
parent | e285da460d20cd864836bc1d2cd8412ad43b0aec (diff) | |
parent | b3870815c43dbcd65cb704e5a6c1f3f4c8fb4596 (diff) | |
download | nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar.gz nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar.bz2 nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar.lz nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar.xz nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.tar.zst nixpkgs-332fa4387f371796c3a13d87f22f05fd35cc4274.zip |
Merge pull request #93155 from rawkode/package/gnome-emoji-selector
gnomeExtensions.emoji-selector: init at v19
-rw-r--r-- | pkgs/desktops/gnome-3/extensions/emoji-selector/default.nix | 38 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 39 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome-3/extensions/emoji-selector/default.nix b/pkgs/desktops/gnome-3/extensions/emoji-selector/default.nix new file mode 100644 index 00000000000..c4db4702193 --- /dev/null +++ b/pkgs/desktops/gnome-3/extensions/emoji-selector/default.nix @@ -0,0 +1,38 @@ +{ stdenv, fetchFromGitHub, glib, gettext }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-emoji-selector"; + version = "19"; + + src = fetchFromGitHub { + owner = "maoschanz"; + repo = "emoji-selector-for-gnome"; + rev = version; + sha256 = "0x60pg5nl5d73av494dg29hyfml7fbf2d03wm053vx1q8a3pxbyb"; + }; + + uuid = "emoji-selector@maestroschan.fr"; + + nativeBuildInputs = [ glib ]; + + buildPhase = '' + runHook preBuild + glib-compile-schemas ./${uuid}/schemas + runHook postBuild + ''; + + installPhase = '' + runHook preInstall + mkdir -p $out/share/gnome-shell/extensions + cp -r ${uuid} $out/share/gnome-shell/extensions + runHook postInstall + ''; + + meta = with stdenv.lib; { + description = + "GNOME Shell extension providing a searchable popup menu displaying most emojis"; + license = licenses.gpl3Plus; + maintainers = with maintainers; [ rawkode ]; + homepage = "https://github.com/maoschanz/emoji-selector-for-gnome"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index a22d7923782..ab4fbc74fe6 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -24735,6 +24735,7 @@ in dash-to-panel = callPackage ../desktops/gnome-3/extensions/dash-to-panel { }; draw-on-your-screen = callPackage ../desktops/gnome-3/extensions/draw-on-your-screen { }; drop-down-terminal = callPackage ../desktops/gnome-3/extensions/drop-down-terminal { }; + emoji-selector = callPackage ../desktops/gnome-3/extensions/emoji-selector { }; gsconnect = callPackage ../desktops/gnome-3/extensions/gsconnect { }; icon-hider = callPackage ../desktops/gnome-3/extensions/icon-hider { }; impatience = callPackage ../desktops/gnome-3/extensions/impatience { }; |