diff options
author | Jason Zaman <jason@perfinion.com> | 2017-06-04 23:23:47 +0800 |
---|---|---|
committer | Jason Zaman <jason@perfinion.com> | 2017-06-06 01:16:18 +0800 |
commit | 5fb5e3e0d746b95431dabd0dd758f72da5f2f7ed (patch) | |
tree | 7dcd18d46a6bbd437117093d982456c53560fa30 | |
parent | cgmanager: Move lines (diff) | |
download | hardened-refpolicy-5fb5e3e0.tar.gz hardened-refpolicy-5fb5e3e0.tar.bz2 hardened-refpolicy-5fb5e3e0.zip |
consolekit: allow purging tmp
Needs to be able to clear out /run/user/UID on logout
-rw-r--r-- | policy/modules/contrib/consolekit.te | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/policy/modules/contrib/consolekit.te b/policy/modules/contrib/consolekit.te index d51634ea..ea4db82b 100644 --- a/policy/modules/contrib/consolekit.te +++ b/policy/modules/contrib/consolekit.te @@ -64,6 +64,7 @@ domain_dontaudit_ptrace_all_domains(consolekit_t) files_read_usr_files(consolekit_t) files_read_var_lib_files(consolekit_t) files_search_all_mountpoints(consolekit_t) +files_purge_tmp(consolekit_t) fs_list_inotifyfs(consolekit_t) fs_mount_tmpfs(consolekit_t) |