# 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