gnomeExtensions.pidgin-im-integration: move from gnome3.pidgin-im-gnome-shell-extension

This commit is contained in:
Jan Tojnar 2019-08-01 11:25:30 +02:00
parent 239fffc90d
commit 9d8984e5c9
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
3 changed files with 6 additions and 6 deletions

View File

@ -345,8 +345,6 @@ lib.makeScope pkgs.newScope (self: with self; {
nautilus-python = callPackage ./misc/nautilus-python { };
pidgin-im-gnome-shell-extension = callPackage ./misc/pidgin { };
gtkhtml = callPackage ./misc/gtkhtml { enchant = pkgs.enchant1; };
pomodoro = callPackage ./misc/pomodoro { };
@ -398,4 +396,6 @@ lib.makeScope pkgs.newScope (self: with self; {
gtk = gtk3;
gtkmm = gtkmm3;
rest = librest;
pidgin-im-gnome-shell-extension = pkgs.gnomeExtensions.pidgin-im-integration; # added 2019-08-01
})

View File

@ -1,13 +1,12 @@
{ stdenv, fetchFromGitHub, glib }:
stdenv.mkDerivation rec {
pname = "gnome-shell-extension-pidgin-im-integration";
version = "1.0.1";
basename = "pidgin-im-gnome-shell-extension";
name = "${basename}-${version}";
src = fetchFromGitHub {
owner = "muffinmad";
repo = "${basename}";
repo = "pidgin-im-gnome-shell-extension";
rev = "v${version}";
sha256 = "1567s2sfqig4jw0nrn134f5vkx0yq31q044grv3xk4vpl1f3z2lr";
};
@ -22,7 +21,7 @@ stdenv.mkDerivation rec {
mkdir -p "$extensions_dir"
mv *.js metadata.json dbus.xml gnome-shell-extension-pidgin.pot "$extensions_dir"
schemas_dir="$share_dir/gsettings-schemas/${name}/glib-2.0/schemas"
schemas_dir="$share_dir/gsettings-schemas/${pname}-${version}/glib-2.0/schemas"
mkdir -p "$schemas_dir"
mv schemas/* "$schemas_dir" # fix Emacs syntax highlighting: */
glib-compile-schemas "$schemas_dir"

View File

@ -22372,6 +22372,7 @@ in
mediaplayer = callPackage ../desktops/gnome-3/extensions/mediaplayer { };
nohotcorner = callPackage ../desktops/gnome-3/extensions/nohotcorner { };
no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { };
pidgin-im-integration = callPackage ../desktops/gnome-3/extensions/pidgin-im-integration { };
remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { };
sound-output-device-chooser = callPackage ../desktops/gnome-3/extensions/sound-output-device-chooser { };
system-monitor = callPackage ../desktops/gnome-3/extensions/system-monitor { };