|
Chris PeBenito |
3865d6 |
## <summary>Policy for getty.</summary>
|
|
Chris PeBenito |
3865d6 |
|
|
Chris PeBenito |
3865d6 |
########################################
|
|
Chris PeBenito |
f7ebea |
## <summary>
|
|
Chris PeBenito |
f7ebea |
## Execute gettys in the getty domain.
|
|
Chris PeBenito |
f7ebea |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## <param name="domain">
|
|
Chris PeBenito |
885b83 |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Domain allowed access.
|
|
Chris PeBenito |
885b83 |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## </param>
|
|
Chris PeBenito |
015435 |
#
|
|
Chris PeBenito |
199895 |
interface(`getty_domtrans',`
|
|
Chris PeBenito |
139520 |
gen_require(`
|
|
Chris PeBenito |
139520 |
type getty_t, getty_exec_t;
|
|
Chris PeBenito |
139520 |
')
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
139520 |
corecmd_search_sbin($1)
|
|
Chris PeBenito |
139520 |
domain_auto_trans($1,getty_exec_t,getty_t)
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
0c73cd |
allow $1 getty_t:fd use;
|
|
Chris PeBenito |
0c73cd |
allow getty_t $1:fd use;
|
|
Chris PeBenito |
0c73cd |
allow getty_t $1:fifo_file rw_file_perms;
|
|
Chris PeBenito |
0c73cd |
allow getty_t $1:process sigchld;
|
|
Chris PeBenito |
015435 |
')
|
|
Chris PeBenito |
015435 |
|
|
Chris PeBenito |
3865d6 |
########################################
|
|
Chris PeBenito |
f7ebea |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Inherit and use getty file descriptors.
|
|
Chris PeBenito |
488ec7 |
## </summary>
|
|
Chris PeBenito |
488ec7 |
## <param name="domain">
|
|
Chris PeBenito |
885b83 |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Domain allowed access.
|
|
Chris PeBenito |
885b83 |
## </summary>
|
|
Chris PeBenito |
488ec7 |
## </param>
|
|
Chris PeBenito |
488ec7 |
#
|
|
Chris PeBenito |
1c1ac6 |
interface(`getty_use_fds',`
|
|
Chris PeBenito |
488ec7 |
gen_require(`
|
|
Chris PeBenito |
488ec7 |
type getty_t;
|
|
Chris PeBenito |
488ec7 |
')
|
|
Chris PeBenito |
488ec7 |
|
|
Chris PeBenito |
488ec7 |
allow $1 getty_t:fd use;
|
|
Chris PeBenito |
488ec7 |
')
|
|
Chris PeBenito |
488ec7 |
|
|
Chris PeBenito |
488ec7 |
########################################
|
|
Chris PeBenito |
488ec7 |
## <summary>
|
|
Chris PeBenito |
f7ebea |
## Allow process to read getty log file.
|
|
Chris PeBenito |
f7ebea |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## <param name="domain">
|
|
Chris PeBenito |
885b83 |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Domain allowed access.
|
|
Chris PeBenito |
885b83 |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## </param>
|
|
Chris PeBenito |
015435 |
#
|
|
Chris PeBenito |
199895 |
interface(`getty_read_log',`
|
|
Chris PeBenito |
139520 |
gen_require(`
|
|
Chris PeBenito |
139520 |
type getty_log_t;
|
|
Chris PeBenito |
139520 |
')
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
139520 |
logging_search_logs($1)
|
|
Chris PeBenito |
0c73cd |
allow $1 getty_log_t:file { getattr read };
|
|
Chris PeBenito |
015435 |
')
|
|
Chris PeBenito |
015435 |
|
|
Chris PeBenito |
3865d6 |
########################################
|
|
Chris PeBenito |
f7ebea |
## <summary>
|
|
Chris PeBenito |
f7ebea |
## Allow process to read getty config file.
|
|
Chris PeBenito |
f7ebea |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## <param name="domain">
|
|
Chris PeBenito |
885b83 |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Domain allowed access.
|
|
Chris PeBenito |
885b83 |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## </param>
|
|
Chris PeBenito |
015435 |
#
|
|
Chris PeBenito |
199895 |
interface(`getty_read_config',`
|
|
Chris PeBenito |
139520 |
gen_require(`
|
|
Chris PeBenito |
139520 |
type getty_etc_t;
|
|
Chris PeBenito |
139520 |
')
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
139520 |
files_search_etc($1)
|
|
Chris PeBenito |
0c73cd |
allow $1 getty_etc_t:file { getattr read };
|
|
Chris PeBenito |
015435 |
')
|
|
Chris PeBenito |
015435 |
|
|
Chris PeBenito |
3865d6 |
########################################
|
|
Chris PeBenito |
f7ebea |
## <summary>
|
|
Chris PeBenito |
f7ebea |
## Allow process to edit getty config file.
|
|
Chris PeBenito |
f7ebea |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## <param name="domain">
|
|
Chris PeBenito |
885b83 |
## <summary>
|
|
Chris PeBenito |
488ec7 |
## Domain allowed access.
|
|
Chris PeBenito |
885b83 |
## </summary>
|
|
Chris PeBenito |
f7ebea |
## </param>
|
|
Chris PeBenito |
015435 |
#
|
|
Chris PeBenito |
1815ba |
interface(`getty_rw_config',`
|
|
Chris PeBenito |
139520 |
gen_require(`
|
|
Chris PeBenito |
139520 |
type getty_etc_t;
|
|
Chris PeBenito |
139520 |
')
|
|
Chris PeBenito |
0c73cd |
|
|
Chris PeBenito |
139520 |
files_search_etc($1)
|
|
Chris PeBenito |
139520 |
allow $1 getty_etc_t:file rw_file_perms;
|
|
Chris PeBenito |
015435 |
')
|