1 |
commit: 00a438efc9971aa614dd7514b3c794e520ca692d |
2 |
Author: Dominick Grift <dominick.grift <AT> gmail <DOT> com> |
3 |
AuthorDate: Sat Nov 9 09:45:16 2013 +0000 |
4 |
Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> |
5 |
CommitDate: Fri Dec 6 17:31:22 2013 +0000 |
6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=00a438ef |
7 |
|
8 |
users: calls pulseaudio_role() for restricted xwindows users and staff_t/user_t |
9 |
|
10 |
Signed-off-by: Dominick Grift <dominick.grift <AT> gmail.com> |
11 |
|
12 |
--- |
13 |
policy/modules/roles/staff.te | 4 ++++ |
14 |
policy/modules/roles/unprivuser.te | 4 ++++ |
15 |
policy/modules/system/userdomain.if | 4 ++++ |
16 |
3 files changed, 12 insertions(+) |
17 |
|
18 |
diff --git a/policy/modules/roles/staff.te b/policy/modules/roles/staff.te |
19 |
index 29720e4..7cb50df 100644 |
20 |
--- a/policy/modules/roles/staff.te |
21 |
+++ b/policy/modules/roles/staff.te |
22 |
@@ -86,6 +86,10 @@ ifndef(`distro_redhat',` |
23 |
optional_policy(` |
24 |
gnome_role_template(staff, staff_r, staff_t) |
25 |
') |
26 |
+ |
27 |
+ optional_policy(` |
28 |
+ pulseaudio_role(staff_r, staff_t) |
29 |
+ ') |
30 |
') |
31 |
|
32 |
optional_policy(` |
33 |
|
34 |
diff --git a/policy/modules/roles/unprivuser.te b/policy/modules/roles/unprivuser.te |
35 |
index 484faf4..df39f6e 100644 |
36 |
--- a/policy/modules/roles/unprivuser.te |
37 |
+++ b/policy/modules/roles/unprivuser.te |
38 |
@@ -59,6 +59,10 @@ ifndef(`distro_redhat',` |
39 |
optional_policy(` |
40 |
gnome_role_template(user, user_r, user_t) |
41 |
') |
42 |
+ |
43 |
+ optional_policy(` |
44 |
+ pulseaudio_role(user_r, user_t) |
45 |
+ ') |
46 |
') |
47 |
|
48 |
optional_policy(` |
49 |
|
50 |
diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if |
51 |
index 027a04f..9aeac69 100644 |
52 |
--- a/policy/modules/system/userdomain.if |
53 |
+++ b/policy/modules/system/userdomain.if |
54 |
@@ -970,6 +970,10 @@ template(`userdom_restricted_xwindows_user_template',` |
55 |
gnome_role_template($1, $1_r, $1_t) |
56 |
wm_role_template($1, $1_r, $1_t) |
57 |
') |
58 |
+ |
59 |
+ optional_policy(` |
60 |
+ pulseaudio_role($1_r, $1_t) |
61 |
+ ') |
62 |
') |
63 |
|
64 |
optional_policy(` |