13 lines
701 B
Plaintext
13 lines
701 B
Plaintext
# HOME_ROOT expands to all valid home directory prefixes found in /etc/passwd
|
|
# HOME_DIR expands to each users home directory,
|
|
# and to HOME_ROOT/[^/]+ for each HOME_ROOT.
|
|
# ROLE expands to each users role when role != user_r, and to "user" otherwise.
|
|
HOME_ROOT -d system_u:object_r:home_root_t:s0
|
|
HOME_DIR -d system_u:object_r:ROLE_home_dir_t:s0
|
|
HOME_DIR/.+ system_u:object_r:ROLE_home_t:s0
|
|
HOME_ROOT/\.journal <<none>>
|
|
HOME_ROOT/lost\+found -d system_u:object_r:lost_found_t:s0
|
|
HOME_ROOT/lost\+found/.* <<none>>
|
|
HOME_DIR/((www)|(web)|(public_html))(/.+)? system_u:object_r:httpd_ROLE_content_t:s0
|
|
HOME_DIR/.*/plugins/libflashplayer\.so.* -- system_u:object_r:texrel_shlib_t:s0
|