diff options
Diffstat (limited to 'src/file')
| -rw-r--r-- | src/file/homefile/userfile.cil | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/src/file/homefile/userfile.cil b/src/file/homefile/userfile.cil index eb34ba3..ff6a6e2 100644 --- a/src/file/homefile/userfile.cil +++ b/src/file/homefile/userfile.cil @@ -23,17 +23,25 @@ (typeattribute typeattr) (call file.home.type (typeattr)) - + (block base_template (blockabstract base_template) (blockinherit .file.home.base_template) - (call .file.home.user.type (file))))) + (call .file.home.user.type (file))) + + (block template + + (blockabstract template) + + (blockinherit .file.home.template)))) (in user (block home + + (filecon "HOME_DIR/.*" any file_context) - (blockinherit .file.home.user.base_template))) + (blockinherit .file.home.user.template))) |