diff options
author | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2015-11-13 17:47:00 +0300 |
---|---|---|
committer | Arseniy Seroka <jagajaga@users.noreply.github.com> | 2015-11-13 17:47:00 +0300 |
commit | 83ce6db83bbe950e376b80697ebd82ebb2b9a768 (patch) | |
tree | b6f417166d9cce48d959e67a662705044d423cee /pkgs/desktops/xfce/panel-plugins/xfce4-pulseaudio-plugin.nix | |
parent | f7bd63dc77335b3a8834b9c759454fe0406fcd64 (diff) | |
parent | 1736cedc202bd22d5c9bbf5208c287faa45aed1f (diff) | |
download | nixlib-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.nix | 36 |
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 = [ ]; + }; +} |