diff --git a/policy/modules/system/userdomain.if b/policy/modules/system/userdomain.if index c7c83c4..4a35dbe 100644 --- a/policy/modules/system/userdomain.if +++ b/policy/modules/system/userdomain.if @@ -149,8 +149,6 @@ interface(`userdom_ro_home_role',` type user_home_t, user_home_dir_t; ') - role $1 types { user_home_t user_home_dir_t }; - ############################## # # Domain access to home dir @@ -222,8 +220,6 @@ interface(`userdom_manage_home_role',` type user_home_t, user_home_dir_t; ') - role $1 types { user_home_t user_home_dir_t }; - ############################## # # Domain access to home dir @@ -293,8 +289,6 @@ interface(`userdom_manage_tmp_role',` type user_tmp_t; ') - role $1 types user_tmp_t; - files_poly_member_tmp($2, user_tmp_t) manage_dirs_pattern($2, user_tmp_t, user_tmp_t) @@ -356,8 +350,6 @@ interface(`userdom_manage_tmpfs_role',` type user_tmpfs_t; ') - role $1 types user_tmpfs_t; - manage_dirs_pattern($2, user_tmpfs_t, user_tmpfs_t) manage_files_pattern($2, user_tmpfs_t, user_tmpfs_t) manage_lnk_files_pattern($2, user_tmpfs_t, user_tmpfs_t)