| 1 |
commit: d093fd90125d80dfd122221d69daecd64687d89f |
| 2 |
Author: Guido Trentalancia <guido <AT> trentalancia <DOT> net> |
| 3 |
AuthorDate: Thu Apr 20 22:00:36 2017 +0000 |
| 4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
| 5 |
CommitDate: Sun Apr 30 09:16:47 2017 +0000 |
| 6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=d093fd90 |
| 7 |
|
| 8 |
openoffice: support starting it from the window manager |
| 9 |
|
| 10 |
This patch allows to start the openoffice suite from the |
| 11 |
window manager. |
| 12 |
|
| 13 |
Signed-off-by: Guido Trentalancia <guido <AT> trentalancia.net> |
| 14 |
|
| 15 |
policy/modules/contrib/openoffice.te | 4 ++++ |
| 16 |
1 file changed, 4 insertions(+) |
| 17 |
|
| 18 |
diff --git a/policy/modules/contrib/openoffice.te b/policy/modules/contrib/openoffice.te |
| 19 |
index 148ff232..58845575 100644 |
| 20 |
--- a/policy/modules/contrib/openoffice.te |
| 21 |
+++ b/policy/modules/contrib/openoffice.te |
| 22 |
@@ -34,6 +34,10 @@ type ooffice_exec_t; |
| 23 |
userdom_user_application_domain(ooffice_t, ooffice_exec_t) |
| 24 |
role ooffice_roles types ooffice_t; |
| 25 |
|
| 26 |
+optional_policy(` |
| 27 |
+ wm_application_domain(ooffice_t, ooffice_exec_t) |
| 28 |
+') |
| 29 |
+ |
| 30 |
type ooffice_home_t; |
| 31 |
userdom_user_home_content(ooffice_home_t) |
Archives