1 |
commit: eae74f80d6ed5f475ecf7fe3c476d8047aca6f39 |
2 |
Author: Guido Trentalancia <guido <AT> trentalancia <DOT> net> |
3 |
AuthorDate: Thu Apr 13 23:26:10 2017 +0000 |
4 |
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org> |
5 |
CommitDate: Sun Apr 30 14:17:43 2017 +0000 |
6 |
URL: https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=eae74f80 |
7 |
|
8 |
wm: load the NetworkManager applet |
9 |
|
10 |
Gnome-shell needs to read NetworkManager configuration files in /etc in |
11 |
order to correctly run the applet. |
12 |
|
13 |
Signed-off-by: Guido Trentalancia <guido <AT> trentalancia.net> |
14 |
|
15 |
policy/modules/contrib/networkmanager.if | 20 ++++++++++++++++++++ |
16 |
policy/modules/contrib/wm.te | 2 ++ |
17 |
2 files changed, 22 insertions(+) |
18 |
|
19 |
diff --git a/policy/modules/contrib/networkmanager.if b/policy/modules/contrib/networkmanager.if |
20 |
index 10688d21..3c5073d1 100644 |
21 |
--- a/policy/modules/contrib/networkmanager.if |
22 |
+++ b/policy/modules/contrib/networkmanager.if |
23 |
@@ -172,6 +172,26 @@ interface(`networkmanager_signal',` |
24 |
') |
25 |
|
26 |
######################################## |
27 |
+### <summary> |
28 |
+### Read networkmanager etc files. |
29 |
+### </summary> |
30 |
+### <param name="domain"> |
31 |
+### <summary> |
32 |
+### Domain allowed access. |
33 |
+### </summary> |
34 |
+### </param> |
35 |
+## |
36 |
+interface(`networkmanager_read_etc_files',` |
37 |
+ gen_require(` |
38 |
+ type NetworkManager_etc_t; |
39 |
+ ') |
40 |
+ |
41 |
+ files_search_etc($1) |
42 |
+ list_dirs_pattern($1, NetworkManager_etc_t, NetworkManager_etc_t) |
43 |
+ read_files_pattern($1, NetworkManager_etc_t, NetworkManager_etc_t) |
44 |
+') |
45 |
+ |
46 |
+######################################## |
47 |
## <summary> |
48 |
## Create, read, and write |
49 |
## networkmanager library files. |
50 |
|
51 |
diff --git a/policy/modules/contrib/wm.te b/policy/modules/contrib/wm.te |
52 |
index e5f65316..77dcc432 100644 |
53 |
--- a/policy/modules/contrib/wm.te |
54 |
+++ b/policy/modules/contrib/wm.te |
55 |
@@ -68,6 +68,8 @@ miscfiles_read_fonts(wm_domain) |
56 |
miscfiles_read_generic_certs(wm_domain) |
57 |
miscfiles_read_localization(wm_domain) |
58 |
|
59 |
+networkmanager_read_etc_files(wm_domain) |
60 |
+ |
61 |
udev_read_pid_files(wm_domain) |
62 |
|
63 |
# this is needed by gnome-shell |