There was a networkmanager_* interface use not in an optional block. I moved it into an existing optional block that already had another networkmanager_* interface use.
---
wm.te | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/wm.te b/wm.te
index 65b57a4..5986812 100644
--- a/wm.te
+++ b/wm.te
@@ -70,8 +70,6 @@ miscfiles_read_fonts(wm_domain)
miscfiles_read_generic_certs(wm_domain)
miscfiles_read_localization(wm_domain)
-networkmanager_read_etc_files(wm_domain)
-
udev_read_pid_files(wm_domain)
# the following is needed by gnome-shell
@@ -123,6 +121,7 @@ optional_policy(`
optional_policy(`
networkmanager_dbus_chat(wm_domain)
+ networkmanager_read_etc_files(wm_domain)
')
optional_policy(`
--
2.13.5
On 08/30/2017 12:09 PM, David Sugar via refpolicy wrote:
> There was a networkmanager_* interface use not in an optional block. I moved it into an existing optional block that already had another networkmanager_* interface use.
> ---
> wm.te | 3 +--
> 1 file changed, 1 insertion(+), 2 deletions(-)
>
> diff --git a/wm.te b/wm.te
> index 65b57a4..5986812 100644
> --- a/wm.te
> +++ b/wm.te
> @@ -70,8 +70,6 @@ miscfiles_read_fonts(wm_domain)
> miscfiles_read_generic_certs(wm_domain)
> miscfiles_read_localization(wm_domain)
>
> -networkmanager_read_etc_files(wm_domain)
> -
> udev_read_pid_files(wm_domain)
>
> # the following is needed by gnome-shell
> @@ -123,6 +121,7 @@ optional_policy(`
>
> optional_policy(`
> networkmanager_dbus_chat(wm_domain)
> + networkmanager_read_etc_files(wm_domain)
> ')
>
Merged.
--
Chris PeBenito