about summary refs log tree commit diff
path: root/pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix
diff options
context:
space:
mode:
authorArseniy Seroka <jagajaga@users.noreply.github.com>2015-11-13 17:47:00 +0300
committerArseniy Seroka <jagajaga@users.noreply.github.com>2015-11-13 17:47:00 +0300
commit83ce6db83bbe950e376b80697ebd82ebb2b9a768 (patch)
treeb6f417166d9cce48d959e67a662705044d423cee /pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix
parentf7bd63dc77335b3a8834b9c759454fe0406fcd64 (diff)
parent1736cedc202bd22d5c9bbf5208c287faa45aed1f (diff)
downloadnixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar.gz
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar.bz2
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar.lz
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar.xz
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.tar.zst
nixlib-83ce6db83bbe950e376b80697ebd82ebb2b9a768.zip
Merge pull request #10771 from demin-dmitriy/pulseaudio-panel-plugin
xfce4-pulseaudio-plugin: init at 0.2.3
Diffstat (limited to 'pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix')
-rw-r--r--pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix36
1 files changed, 36 insertions, 0 deletions
diff --git a/pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix b/pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix
new file mode 100644
index 000000000000..1b963237c02c
--- /dev/null
+++ b/pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix
@@ -0,0 +1,36 @@
+{ stdenv, fetchurl, pkgconfig, intltool, libxfce4util, xfce4panel_gtk3, xfconf
+, gtk3, libpulseaudio
+, withKeybinder ? true, keybinder3
+, withLibnotify ? true, libnotify
+}:
+
+assert withKeybinder -> keybinder3 != null;
+assert withLibnotify -> libnotify != null;
+
+with stdenv.lib;
+
+stdenv.mkDerivation rec {
+  p_name  = "xfce4-pulseaudio-plugin";
+  ver_maj = "0.2";
+  ver_min = "3";
+
+  src = fetchurl {
+    url = "mirror://xfce/src/panel-plugins/${p_name}/${ver_maj}/${name}.tar.bz2";
+    sha256 = "e82836bc8cf7d905b4e60d43dc630ba8e32dea785989700c71d4aeee9f583b33";
+  };
+  name = "${p_name}-${ver_maj}.${ver_min}";
+
+  nativeBuildInputs = [ pkgconfig intltool ];
+  buildInputs = [ libxfce4util xfce4panel_gtk3 xfconf gtk3 libpulseaudio ]
+    ++ optional withKeybinder keybinder3
+    ++ optional withLibnotify libnotify;
+
+  preFixup = "rm $out/share/icons/hicolor/icon-theme.cache";
+
+  meta = {
+    homepage = "http://goodies.xfce.org/projects/panel-plugins/${p_name}";
+    description = "Adjust the audio volume of the PulseAudio sound system";
+    platforms = platforms.linux;
+    maintainers = [ ];
+  };
+}