diff options
Diffstat (limited to 'src/file/homefile/userhomefile.cil')
-rw-r--r-- | src/file/homefile/userhomefile.cil | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/file/homefile/userhomefile.cil b/src/file/homefile/userhomefile.cil new file mode 100644 index 0000000..de8a882 --- /dev/null +++ b/src/file/homefile/userhomefile.cil @@ -0,0 +1,30 @@ +(in file.unconfined + (call .user.home.home_file_type_transition_file (typeattr dir "*"))) + +(in file.home + (block user + (macro type ((type ARG1)) + (typeattributeset typeattr type)) + + (typeattribute typeattr) + + (call file.home.type (typeattr)) + (call file.user.type (typeattr)) + + (block base_template + (blockabstract base_template) + (blockinherit .file.user.base_template) + (call .file.home.user.type (file))) + + (block template + (blockabstract template) + (blockinherit .file.user.template)))) + +(in user + (block home + (macro home_file_type_transition_file ((type ARG1) (class ARG2) (name ARG3)) + (call .home.file_type_transition (ARG1 file ARG2 ARG3))) + + (blockinherit file.home.user.template) + (filecon "HOME_DIR" dir file_context) + (filecon "HOME_DIR/.*" any file_context))) |