## Policy for changing the system host name.
########################################
##
## Execute hostname in the hostname domain.
##
##
##
## The type of the process performing this action.
##
##
#
interface(`hostname_domtrans',`
gen_require(`
type hostname_t, hostname_exec_t;
')
corecmd_search_bin($1)
domain_auto_trans($1,hostname_exec_t,hostname_t)
allow $1 hostname_t:fd use;
allow hostname_t $1:fd use;
allow hostname_t $1:fifo_file rw_file_perms;
allow hostname_t $1:process sigchld;
')
########################################
##
## Execute hostname in the hostname domain, and
## allow the specified role the hostname domain.
##
##
##
## The type of the process performing this action.
##
##
##
##
## The role to be allowed the hostname domain.
##
##
##
##
## The type of the terminal allow the hostname domain to use.
##
##
#
interface(`hostname_run',`
gen_require(`
type hostname_t;
')
hostname_domtrans($1)
role $2 types hostname_t;
allow hostname_t $3:chr_file { getattr read write ioctl };
')
########################################
##
## Execute hostname in the caller domain.
##
##
##
## The type of the process performing this action.
##
##
#
interface(`hostname_exec',`
gen_require(`
type hostname_exec_t;
')
corecmd_search_bin($1)
can_exec($1,hostname_exec_t)
')