summaryrefslogtreecommitdiff
path: root/src/file/homefile/userhomefile.cil
blob: de8a882310360a8265a0ed4d7713b82d129bb84a (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
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)))