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 /pkgs/desktops/gnome-3 | |
| 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
Diffstat (limited to 'pkgs/desktops/gnome-3')
| -rw-r--r-- | pkgs/desktops/gnome-3/extensions/emoji-selector/default.nix | 38 |
1 files changed, 38 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"; + }; +} |