ilyakooo0/nixpkgs
1
0
Fork 0
mirror of https://github.com/ilyakooo0/nixpkgs.git synced 2024-12-28 06:14:26 +03:00
Code Issues Projects Releases Wiki Activity

gnomeExtensions.sound-output-device-chooser: 24 -> 25

Browse Source 
https://github.com/kgshank/gse-sound-output-device-chooser/releases/tag/25
This commit is contained in:
Jan Tojnar 2020-03-05 02:07:23 +01:00
parent 7399c59c41
commit 7de490a28a
No known key found for this signature in database
GPG Key ID: 7FAB2A15F7A607A4
2 changed files with 39 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/default.nix
View File

@ -1,16 +1,29 @@
{ stdenv, fetchFromGitHub }: { stdenv
, substituteAll
, fetchFromGitHub
, libpulseaudio
, python3
}:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-extension-sound-output-device-chooser"; pname = "gnome-shell-extension-sound-output-device-chooser";
version = "24"; version = "25";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "kgshank"; owner = "kgshank";
repo = "gse-sound-output-device-chooser"; repo = "gse-sound-output-device-chooser";
rev = version; rev = version;
sha256 = "0n1rf4pdf0b78ivmz89x223sqlzv30qydkvlnvn7hwx0j32kyr0x"; sha256 = "16xaa4r01575ix9lrvww8n6pird8r3ml1j037b3sm6dfrf8kvzxs";
}; };
patches = [
(substituteAll {
src = ./fix-paths.patch;
libpulse = "${libpulseaudio}/lib/libpulse.so";
python = python3.interpreter;
})
];
dontBuild = true; dontBuild = true;
uuid = "sound-output-device-chooser@kgshank.net"; uuid = "sound-output-device-chooser@kgshank.net";
@ -23,6 +36,6 @@ stdenv.mkDerivation rec {
description = "GNOME Shell extension adding audio device chooser to panel"; description = "GNOME Shell extension adding audio device chooser to panel";
license = licenses.gpl3; license = licenses.gpl3;
maintainers = with maintainers; [ jtojnar ]; maintainers = with maintainers; [ jtojnar ];
homepage = https://github.com/kgshank/gse-sound-output-device-chooser; homepage = "https://github.com/kgshank/gse-sound-output-device-chooser";
}; };
} }

22
pkgs/desktops/gnome-3/extensions/sound-output-device-chooser/fix-paths.patch Normal file
View File

@ -0,0 +1,22 @@
--- a/sound-output-device-chooser@kgshank.net/convenience.js
+++ b/sound-output-device-chooser@kgshank.net/convenience.js
@@ -111,7 +111,7 @@ function refreshCards() {
log("New logic");
let pyLocation = Me.dir.get_child('utils/pa_helper.py').get_path();
try {
- let [result, out, err, exit_code] = GLib.spawn_command_line_sync('python ' + pyLocation);
+ let [result, out, err, exit_code] = GLib.spawn_command_line_sync('@python@ ' + pyLocation);
// log("result" + result +" out"+out + " exit_code" + exit_code + "
// err" +err);
if(result && !exit_code) {
--- a/sound-output-device-chooser@kgshank.net/utils/libpulse_introspect.py
+++ b/sound-output-device-chooser@kgshank.net/utils/libpulse_introspect.py
@@ -86,7 +86,7 @@ else:
_libraries = {}
-libpulse_library_name = find_library('pulse')
+libpulse_library_name = '@libpulse@'
if libpulse_library_name is None:
raise Exception('No libpulse.so library found!')