Skip to contentSkip to conversation

dmidecode: use userdom_use_inherited_user_terminals

PATCH New Christian Göttsche 2 participants 2 messages Sep 10, 2017 – Sep 11, 2017

lore
Share & tools
lore

Christian Göttsche

author
#0 lore raw

PATCH 1/1 dmidecode: use userdom_use_inherited_user_terminals

---
 dmidecode.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
dmidecode.te +1 -1
index 1c6fc9b..0e3a6ae 100644
@@ -31,4 +31,4 @@ mls_file_read_all_levels(dmidecode_t)
 
 locallogin_use_fds(dmidecode_t)
 
-userdom_use_user_terminals(dmidecode_t)
+userdom_use_inherited_user_terminals(dmidecode_t)
Signature · 1 line
2.14.1
#1 lore raw

PATCH 1/1 dmidecode: use userdom_use_inherited_user_terminals

Quoted 9 lines · Christian G?ttsche via refpolicy
---
  dmidecode.te | 2 +-
  1 file changed, 1 insertion(+), 1 deletion(-)
dmidecode.te +0 -0
index 1c6fc9b..0e3a6ae 100644

dmidecode.te mls_file_read_all_levels(dmidecode_t) · line 34

Quoted 5 lines
dmidecode.te +1 -1
@@ -31,4 +31,4 @@ mls_file_read_all_levels(dmidecode_t)
 
  locallogin_use_fds(dmidecode_t)
 
-userdom_use_user_terminals(dmidecode_t)
+userdom_use_inherited_user_terminals(dmidecode_t)

Merged.

Signature · 1 line
Chris PeBenito