Gentoo Archives: gentoo-commits

From: Sven Vermeulen <swift@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:master commit in: policy/modules/system/, policy/modules/roles/
Date: Fri, 06 Dec 2013 17:33:41
Message-Id: 1386351082.00a438efc9971aa614dd7514b3c794e520ca692d.swift@gentoo
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(`