## Framework for facilitating multiple user sessions on desktops.
########################################
##
## Execute a domain transition to run consolekit.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`consolekit_domtrans',`
gen_require(`
type consolekit_t, consolekit_exec_t;
')
domtrans_pattern($1, consolekit_exec_t, consolekit_t)
')
########################################
##
## Send and receive messages from
## consolekit over dbus.
##
##
##
## Domain allowed access.
##
##
#
interface(`consolekit_dbus_chat',`
gen_require(`
type consolekit_t;
class dbus send_msg;
')
allow $1 consolekit_t:dbus send_msg;
allow consolekit_t $1:dbus send_msg;
')
########################################
##
## Read consolekit log files.
##
##
##
## Domain allowed access.
##
##
#
interface(`consolekit_read_log',`
gen_require(`
type consolekit_log_t;
')
read_files_pattern($1, consolekit_log_t, consolekit_log_t)
logging_search_logs($1)
')
########################################
##
## Manage consolekit log files.
##
##
##
## Domain allowed access.
##
##
#
interface(`consolekit_manage_log',`
gen_require(`
type consolekit_log_t;
')
manage_files_pattern($1, consolekit_log_t, consolekit_log_t)
files_search_pids($1)
')
########################################
##
## Read consolekit PID files.
##
##
##
## Domain allowed access.
##
##
#
interface(`consolekit_read_pid_files',`
gen_require(`
type consolekit_var_run_t;
')
files_search_pids($1)
read_files_pattern($1, consolekit_var_run_t, consolekit_var_run_t)
')
########################################
##
## List consolekit PID files.
##
##
##
## Domain allowed access.
##
##
#
interface(`consolekit_list_pid_files',`
gen_require(`
type consolekit_var_run_t;
')
files_search_pids($1)
list_dirs_pattern($1, consolekit_var_run_t, consolekit_var_run_t)
')