(typealias cert_home_t)
(typealiasactual cert_home_t user_cert_t)
(typeattribute admindomain)
(typeattribute userdomain)
(typeattribute unpriv_userdomain)
(typeattribute user_home_content_type)
(typeattributeset user_home_content_type (user_home_t user_bin_t user_cert_t user_tmp_t user_tmpfs_t ))
(typeattribute user_runtime_content_type)
(typeattributeset user_runtime_content_type (user_runtime_t ))
(type user_home_dir_t)
(roletype object_r user_home_dir_t)
(type user_home_t)
(roletype object_r user_home_t)
(type user_bin_t)
(roletype object_r user_bin_t)
(type user_cert_t)
(roletype object_r user_cert_t)
(type user_devpts_t)
(roletype object_r user_devpts_t)
(type user_tmp_t)
(roletype object_r user_tmp_t)
(type user_tmpfs_t)
(roletype object_r user_tmpfs_t)
(type user_tty_device_t)
(roletype object_r user_tty_device_t)
(type user_runtime_root_t)
(roletype object_r user_runtime_root_t)
(type user_runtime_t)
(roletype object_r user_runtime_t)
(boolean allow_user_mysql_connect false)
(boolean allow_user_postgresql_connect false)
(boolean user_all_users_send_syslog true)
(boolean user_direct_mouse false)
(boolean user_dmesg false)
(boolean user_rw_noexattrfile false)
(boolean user_exec_noexattrfile false)
(boolean user_write_removable false)
(boolean user_ttyfile_stat false)
(roleattributeset cil_gen_require system_r)
(typeattributeset cil_gen_require user_home_content_type)
(typeattributeset user_home_content_type (user_home_t user_bin_t user_cert_t user_tmp_t user_tmpfs_t ))
(typeattributeset cil_gen_require user_runtime_content_type)
(typeattributeset user_runtime_content_type (user_runtime_t ))
(typeattributeset cil_gen_require tmpfs_t)
(typeattributeset cil_gen_require file_type)
(typeattributeset file_type (user_home_dir_t user_home_t user_bin_t user_cert_t user_devpts_t user_tmp_t user_tmpfs_t user_runtime_root_t user_runtime_t ))
(typeattributeset cil_gen_require non_security_file_type)
(typeattributeset non_security_file_type (user_home_dir_t user_home_t user_bin_t user_cert_t user_devpts_t user_tmp_t user_tmpfs_t user_runtime_root_t user_runtime_t ))
(typeattributeset cil_gen_require non_auth_file_type)
(typeattributeset non_auth_file_type (user_home_dir_t user_home_t user_bin_t user_cert_t user_devpts_t user_tmp_t user_tmpfs_t user_runtime_root_t user_runtime_t ))
(typeattributeset cil_gen_require mountpoint)
(typeattributeset mountpoint (user_home_dir_t user_home_t user_runtime_root_t user_runtime_t ))
(typeattributeset cil_gen_require tmp_t)
(typeattributeset cil_gen_require polydir)
(typeattributeset polydir (user_home_dir_t user_runtime_t ))
(typeattributeset cil_gen_require polymember)
(typeattributeset polymember (user_home_dir_t user_home_t user_bin_t user_cert_t user_tmp_t user_tmpfs_t user_runtime_t ))
(typeattributeset cil_gen_require polyparent)
(typeattributeset polyparent (user_home_dir_t user_home_t user_runtime_root_t user_runtime_t ))
(typeattributeset cil_gen_require ubac_constrained_type)
(typeattributeset ubac_constrained_type (user_home_dir_t user_home_t user_bin_t user_cert_t user_devpts_t user_tmp_t user_tmpfs_t user_tty_device_t user_runtime_t ))
(typeattributeset cil_gen_require user_home_t)
(typeattributeset cil_gen_require device_node)
(typeattributeset device_node (user_devpts_t user_tty_device_t ))
(typeattributeset cil_gen_require tmpfile)
(typeattributeset tmpfile (user_tmp_t ))
(typeattributeset cil_gen_require tmpfsfile)
(typeattributeset tmpfsfile (user_tmpfs_t ))
(allow user_home_dir_t tmpfs_t (filesystem (associate)))
(allow user_home_dir_t tmp_t (filesystem (associate)))
(allow user_home_t user_home_t (filesystem (associate)))
(allow user_home_t tmpfs_t (filesystem (associate)))
(allow user_home_t tmp_t (filesystem (associate)))
(allow user_bin_t user_home_t (filesystem (associate)))
(allow user_cert_t user_home_t (filesystem (associate)))
(allow user_tmp_t user_home_t (filesystem (associate)))
(allow user_tmpfs_t user_home_t (filesystem (associate)))
(allow user_runtime_root_t tmpfs_t (filesystem (associate)))
(allow user_runtime_t tmpfs_t (filesystem (associate)))
(allow user_runtime_t tmp_t (filesystem (associate)))
(optional userdomain_optional_2
    (typeattributeset cil_gen_require init_mountpoint_type)
    (typeattributeset cil_gen_require init_mountpoint_type)
    (typeattributeset init_mountpoint_type (user_home_dir_t ))
    (optional userdomain_optional_3
        (typeattributeset cil_gen_require init_mountpoint_type)
        (typeattributeset cil_gen_require init_mountpoint_type)
        (typeattributeset init_mountpoint_type (user_home_t ))
        (optional userdomain_optional_4
            (typeattributeset cil_gen_require init_mountpoint_type)
            (typeattributeset cil_gen_require init_mountpoint_type)
            (typeattributeset init_mountpoint_type (user_runtime_root_t ))
            (optional userdomain_optional_5
                (typeattributeset cil_gen_require init_mountpoint_type)
                (typeattributeset cil_gen_require init_mountpoint_type)
                (typeattributeset init_mountpoint_type (user_runtime_t ))
            )
        )
    )
)
(filecon "HOME_DIR" dir (system_u object_r user_home_dir_t ((s0) (s0))))
(filecon "HOME_DIR/.+" any (system_u object_r user_home_t ((s0) (s0))))
(filecon "HOME_DIR/bin(/.*)?" any (system_u object_r user_bin_t ((s0) (s0))))
(filecon "HOME_DIR/\.local/bin(/.*)?" any (system_u object_r user_bin_t ((s0) (s0))))
(filecon "HOME_DIR/\.pki(/.*)?" any (system_u object_r user_cert_t ((s0) (s0))))
(filecon "/tmp/gconfd-%{USERNAME}" dir (system_u object_r user_tmp_t ((s0) (s0))))
(filecon "/run/user" dir (system_u object_r user_runtime_root_t ((s0) (s0))))
(filecon "/run/user/[^/]+" dir (system_u object_r user_runtime_t ((s0) (s0))))
(filecon "/run/user/[^/]+/.+" dir ())
(filecon "/run/user/%{USERID}" dir (system_u object_r user_runtime_t ((s0) (s0))))
(filecon "/run/user/%{USERID}/.+" any ())
(filecon "/dev/pts/[0-9]+" char (system_u object_r user_devpts_t ((s0) (s0))))
