9127219358
There is more than 5000 parameter documentations. Only about 300 are
differently done. Change them to be consistently indented.
param with one space
and content inside with one tab
This was done with:
sed -ri '
/^##[[:space:]]*<param/,/^##[[:space:]]*<[/]param>/{
s/^##[[:space:]]*/##\t/;
s/^##[[:space:]]*(<[/]?summary)/##\t\1/;
s/^##[[:space:]]*(<[/]?param)/## \1/;
}' policy/modules/*/*.if
Signed-off-by: Markus Linnala <Markus.Linnala@cybercom.com>
88 lines
1.8 KiB
Plaintext
88 lines
1.8 KiB
Plaintext
## <summary>Tools for managing and hosting git repositories.</summary>
|
|
|
|
#######################################
|
|
## <summary>
|
|
## Execute a domain transition to run gitosis.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gitosis_domtrans',`
|
|
gen_require(`
|
|
type gitosis_t, gitosis_exec_t;
|
|
')
|
|
|
|
corecmd_search_bin($1)
|
|
domtrans_pattern($1, gitosis_exec_t, gitosis_t)
|
|
')
|
|
|
|
#######################################
|
|
## <summary>
|
|
## Execute gitosis-serve in the
|
|
## gitosis domain, and allow the
|
|
## specified role the gitosis domain.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed to transition.
|
|
## </summary>
|
|
## </param>
|
|
## <param name="role">
|
|
## <summary>
|
|
## Role allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gitosis_run',`
|
|
gen_require(`
|
|
attribute_role gitosis_roles;
|
|
')
|
|
|
|
gitosis_domtrans($1)
|
|
roleattribute $2 gitosis_roles;
|
|
')
|
|
|
|
#######################################
|
|
## <summary>
|
|
## Read gitosis lib files.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gitosis_read_lib_files',`
|
|
gen_require(`
|
|
type gitosis_var_lib_t;
|
|
')
|
|
|
|
files_search_var_lib($1)
|
|
read_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
|
|
read_lnk_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
|
|
list_dirs_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
|
|
')
|
|
|
|
######################################
|
|
## <summary>
|
|
## Create, read, write, and delete
|
|
## gitosis lib files.
|
|
## </summary>
|
|
## <param name="domain">
|
|
## <summary>
|
|
## Domain allowed access.
|
|
## </summary>
|
|
## </param>
|
|
#
|
|
interface(`gitosis_manage_lib_files',`
|
|
gen_require(`
|
|
type gitosis_var_lib_t;
|
|
')
|
|
|
|
files_search_var_lib($1)
|
|
manage_files_pattern($1, gitosis_var_lib_t, gitosis_var_lib_t)
|
|
')
|