| 1 |
commit: 9301c1e54d143b570060e515d9fbf7e290de9eae |
| 2 |
Author: Jason Zaman <jason <AT> perfinion <DOT> com> |
| 3 |
AuthorDate: Wed Jun 1 16:12:42 2016 +0000 |
| 4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Wed Jun 1 18:33:54 2016 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=9301c1e5 |
| 7 |
|
| 8 |
mplayer: Add filetrans from user_runtime |
| 9 |
|
| 10 |
policy/modules/contrib/mplayer.te | 1 + |
| 11 |
1 file changed, 1 insertion(+) |
| 12 |
|
| 13 |
diff --git a/policy/modules/contrib/mplayer.te b/policy/modules/contrib/mplayer.te |
| 14 |
index 5ebba47..20e449e 100644 |
| 15 |
--- a/policy/modules/contrib/mplayer.te |
| 16 |
+++ b/policy/modules/contrib/mplayer.te |
| 17 |
@@ -95,6 +95,7 @@ userdom_use_user_terminals(mencoder_t) |
| 18 |
userdom_manage_user_tmp_dirs(mencoder_t) |
| 19 |
userdom_manage_user_tmp_files(mencoder_t) |
| 20 |
userdom_tmp_filetrans_user_tmp(mplayer_t, { dir file }) |
| 21 |
+userdom_user_runtime_filetrans_user_tmp(mplayer_t, { dir file }) |
| 22 |
|
| 23 |
userdom_manage_user_home_content_dirs(mencoder_t) |
| 24 |
userdom_manage_user_home_content_files(mencoder_t) |
Archives