1 |
commit: 94da5be65c23b53ef62d05e4c9f1efe773e7b8c6 |
2 |
Author: Sven Vermeulen <sven.vermeulen <AT> siphos <DOT> be> |
3 |
AuthorDate: Thu Jan 23 19:53:57 2014 +0000 |
4 |
Commit: Sven Vermeulen <swift <AT> gentoo <DOT> org> |
5 |
CommitDate: Thu Jan 23 19:53:57 2014 +0000 |
6 |
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=94da5be6 |
7 |
|
8 |
Fix bug #498578 - Support mplayer2 and mpv |
9 |
|
10 |
--- |
11 |
policy/modules/contrib/mplayer.fc | 9 +++++++++ |
12 |
1 file changed, 9 insertions(+) |
13 |
|
14 |
diff --git a/policy/modules/contrib/mplayer.fc b/policy/modules/contrib/mplayer.fc |
15 |
index 755ebe2..03ace71 100644 |
16 |
--- a/policy/modules/contrib/mplayer.fc |
17 |
+++ b/policy/modules/contrib/mplayer.fc |
18 |
@@ -6,3 +6,12 @@ HOME_DIR/\.mplayer(/.*)? gen_context(system_u:object_r:mplayer_home_t,s0) |
19 |
/usr/bin/mencoder -- gen_context(system_u:object_r:mencoder_exec_t,s0) |
20 |
/usr/bin/vlc -- gen_context(system_u:object_r:mplayer_exec_t,s0) |
21 |
/usr/bin/xine -- gen_context(system_u:object_r:mplayer_exec_t,s0) |
22 |
+ |
23 |
+ifdef(`distro_gentoo',` |
24 |
+HOME_DIR/\.mpv(/.*)? gen_context(system_u:object_r:mplayer_home_t,s0) |
25 |
+ |
26 |
+/etc/mpv(/.*)? gen_context(system_u:object_r:mplayer_etc_t,s0) |
27 |
+ |
28 |
+/usr/bin/mplayer2 -- gen_context(system_u:object_r:mplayer_exec_t,s0) |
29 |
+/usr/bin/mpv -- gen_context(system_u:object_r:mplayer_exec_t,s0) |
30 |
+') |