From c0bc5047898544744728fec9573ec562c6178f45 Mon Sep 17 00:00:00 2001 From: Miroslav Grepl Date: Mon, 6 Jan 2014 09:14:52 +0100 Subject: [PATCH] Use userdom_filetrans_type instead of userdom_filetrans_domain in userdomain.te --- policy-rawhide-base.patch | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/policy-rawhide-base.patch b/policy-rawhide-base.patch index 3a43036e..fa3531ed 100644 --- a/policy-rawhide-base.patch +++ b/policy-rawhide-base.patch @@ -44784,7 +44784,7 @@ index 9dc60c6..daee32c 100644 +') + diff --git a/policy/modules/system/userdomain.te b/policy/modules/system/userdomain.te -index f4ac38d..99c8197 100644 +index f4ac38d..a3fcbf1 100644 --- a/policy/modules/system/userdomain.te +++ b/policy/modules/system/userdomain.te @@ -7,48 +7,43 @@ policy_module(userdomain, 4.9.1) @@ -45053,7 +45053,7 @@ index f4ac38d..99c8197 100644 +') + +optional_policy(` -+ cvs_filetrans_home_content(userdom_filetrans_domain) ++ cvs_filetrans_home_content(userdom_filetrans_type) +') + +optional_policy(`