## User network interface configuration helper
########################################
##
## Execute usernetctl in the usernetctl domain.
##
##
##
## Domain allowed access.
##
##
#
interface(`usernetctl_domtrans',`
gen_require(`
type usernetctl_t, usernetctl_exec_t;
')
domtrans_pattern($1, usernetctl_exec_t, usernetctl_t)
')
########################################
##
## Execute usernetctl in the usernetctl domain, and
## allow the specified role the usernetctl domain.
##
##
##
## Domain allowed access.
##
##
##
##
## The role to be allowed the usernetctl domain.
##
##
##
##
## The type of the terminal allow the usernetctl domain to use.
##
##
##
#
interface(`usernetctl_run',`
gen_require(`
type usernetctl_t;
')
usernetctl_domtrans($1)
role $2 types usernetctl_t;
allow usernetctl_t $3:chr_file rw_term_perms;
sysnet_run_ifconfig(usernetctl_t, $2, $3)
sysnet_run_dhcpc(usernetctl_t, $2, $3)
optional_policy(`
consoletype_run(usernetctl_t, $2, $3)
')
optional_policy(`
iptables_run(usernetctl_t, $2, $3)
')
optional_policy(`
modutils_run_insmod(usernetctl_t, $2, $3)
')
optional_policy(`
ppp_run(usernetctl_t,$2,$3)
')
')