1 |
commit: 85fae56653d2875065e30488ba86bec857c9ecdd |
2 |
Author: Michał Górny <mgorny <AT> gentoo <DOT> org> |
3 |
AuthorDate: Sat Aug 26 17:46:08 2017 +0000 |
4 |
Commit: Michał Górny <mgorny <AT> gentoo <DOT> org> |
5 |
CommitDate: Sat Aug 26 17:46:44 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=85fae566 |
7 |
|
8 |
xfce-extra/xfce4-pulseaudio-plugin: elog about needed external mixer |
9 |
|
10 |
Bug: https://bugs.gentoo.org/628970 |
11 |
|
12 |
.../xfce4-pulseaudio-plugin/xfce4-pulseaudio-plugin-0.2.5.ebuild | 9 +++++++++ |
13 |
1 file changed, 9 insertions(+) |
14 |
|
15 |
diff --git a/xfce-extra/xfce4-pulseaudio-plugin/xfce4-pulseaudio-plugin-0.2.5.ebuild b/xfce-extra/xfce4-pulseaudio-plugin/xfce4-pulseaudio-plugin-0.2.5.ebuild |
16 |
index b4ca786af48..ebb6f360347 100644 |
17 |
--- a/xfce-extra/xfce4-pulseaudio-plugin/xfce4-pulseaudio-plugin-0.2.5.ebuild |
18 |
+++ b/xfce-extra/xfce4-pulseaudio-plugin/xfce4-pulseaudio-plugin-0.2.5.ebuild |
19 |
@@ -44,6 +44,15 @@ src_install() { |
20 |
|
21 |
pkg_postinst() { |
22 |
gnome2_icon_cache_update |
23 |
+ |
24 |
+ if ! has_version media-sound/pavucontrol; then |
25 |
+ elog "For the 'audio mixer...' shortcut to work, you need to install" |
26 |
+ elog "an external mixer application. Please either install:" |
27 |
+ elog |
28 |
+ elog " media-sound/pavucontrol" |
29 |
+ elog |
30 |
+ elog "or specify another application to use in the 'Properties' dialog." |
31 |
+ fi |
32 |
} |
33 |
|
34 |
pkg_postrm() { |