userdom_user_home_dir_filetrans($1, home_cert_t, dir, ".cert")
userdom_user_home_dir_filetrans($1, home_cert_t, dir, ".pki")
userdom_user_home_dir_filetrans($1, home_cert_t, dir, "certificates")
userdom_user_home_dir_filetrans($1, home_cert_t, dir, ".cert")
userdom_user_home_dir_filetrans($1, home_cert_t, dir, ".pki")
userdom_user_home_dir_filetrans($1, home_cert_t, dir, "certificates")