Merge pull request #93155 from rawkode/package/gnome-emoji-selector

gnomeExtensions.emoji-selector: init at v19
This commit is contained in:
Jan Tojnar 2020-07-16 11:23:44 +02:00 committed by GitHub
commit 332fa4387f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 39 additions and 0 deletions

View file

@ -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";
};
}

View file

@ -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 { };