commit: 04574aa8704e2f617d1f085fe4564c551c0339ac
Author: Jason Zaman <jason <AT> perfinion <DOT> com>
AuthorDate: Sun Feb 10 04:20:49 2019 +0000
Commit: Jason Zaman <perfinion <AT> gentoo <DOT> org>
CommitDate: Sun Feb 10 04:23:42 2019 +0000
URL:
https://gitweb.gentoo.org/proj/hardened-refpolicy.git/commit/?id=04574aa8
remove duplicate userdom_user_home_dir_filetrans_user_cert interface
Signed-off-by: Jason Zaman <jason <AT> perfinion.com>
policy/modules/system/userdomain.if | 29 -----------------------------
1 file changed, 29 deletions(-)
diff --git a/policy/modules/system/userdomain.if
b/policy/modules/system/userdomain.if
index 7fe015de..da98bde5 100644
--- a/policy/modules/system/userdomain.if
+++ b/policy/modules/system/userdomain.if
@@ -4540,35 +4540,6 @@ interface(`userdom_manage_user_tmp_chr_files',`
files_search_tmp($1)
')
-########################################
-## <summary>
-## Automatically use the user_cert_t label for selected resources
-## created in a users home directory
-## </summary>
-## <param name="domain">
-## <summary>
-## Domain allowed access
-## </summary>
-## </param>
-## <param name="class">
-## <summary>
-## Resource type(s) for which the label should be used
-## </summary>
-## </param>
-## <param name="filename" optional="true">
-## <summary>
-## Name of the resource that is being created
-## </summary>
-## </param>
-#
-interface(`userdom_user_home_dir_filetrans_user_cert',`
- gen_require(`
- type user_cert_t;
- ')
-
- userdom_user_home_dir_filetrans($1, user_cert_t, $2, $3)
-')
-
########################################
## <summary>
## Allow relabeling resources to user_cert_t
