1 ## <summary>Tools for managing and hosting git repositories.</summary>
3 #######################################
5 ## Execute a domain transition to run gitosis.
7 ## <param name="domain">
9 ## Domain allowed to transition.
13 interface(`gitosis_domtrans',`
15 type gitosis_t, gitosis_exec_t;
18 domtrans_pattern($1, gitosis_exec_t, gitosis_t)
21 #######################################
23 ## Execute gitosis-serve in the gitosis domain, and
24 ## allow the specified role the gitosis domain.
26 ## <param name="domain">
28 ## Domain allowed access
31 ## <param name="role">
33 ## Role allowed access.
37 interface(`gitosis_run',`
43 role $2 types gitosis_t;
46 #######################################
48 ## Allow the specified domain to read
51 ## <param name="domain">
53 ## Domain allowed access.
57 interface(`gitosis_read_lib_files',`
59 type gitosis_var_lib_t;
62 files_search_var_lib($1)
63 read_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
64 read_lnk_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
65 list_dirs_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
68 ######################################
70 ## Allow the specified domain to manage
73 ## <param name="domain">
75 ## Domain allowed access.
79 interface(`gitosis_manage_lib_files',`
81 type gitosis_var_lib_t;
84 files_search_var_lib($1)
85 manage_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)