Chris PeBenito 17de1b
## <summary>Tools for filesystem management, such as mkfs and fsck.</summary>
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Execute fs tools in the fstools domain.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_domtrans',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fsadm_t, fsadm_exec_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 8021cb
	corecmd_search_bin($1)
Chris PeBenito c0868a
	domtrans_pattern($1,fsadm_exec_t,fsadm_t)
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Execute fs tools in the fstools domain, and
Chris PeBenito 17de1b
##	allow the specified role the fs tools domain.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
## <param name="role">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The role to be allowed the fs tools domain.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
## <param name="terminal">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the terminal allow the fs tools domain to use.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito bbcd3c
## <rolecap/>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_run',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fsadm_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	fstools_domtrans($1)
Chris PeBenito 17de1b
	role $2 types fsadm_t;
Chris PeBenito 17de1b
	allow fsadm_t $3:chr_file { getattr read write ioctl };
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Execute fsadm in the caller domain.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_exec',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fsadm_exec_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	can_exec($1,fsadm_exec_t)
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 8d2c34
##	Read fstools unnamed pipes.
Chris PeBenito 8d2c34
## </summary>
Chris PeBenito 8d2c34
## <param name="domain">
Chris PeBenito 8d2c34
##	<summary>
Chris PeBenito 8d2c34
##	Domain allowed access.
Chris PeBenito 8d2c34
##	</summary>
Chris PeBenito 8d2c34
## </param>
Chris PeBenito 8d2c34
#
Chris PeBenito 8d2c34
interface(`fstools_read_pipes',`
Chris PeBenito 8d2c34
	gen_require(`
Chris PeBenito 8d2c34
		type fsdaemon_t;
Chris PeBenito 8d2c34
	')
Chris PeBenito 8d2c34
Chris PeBenito 8d2c34
	allow $1 fsdaemon_t:fifo_file read_fifo_file_perms;
Chris PeBenito 8d2c34
')
Chris PeBenito 8d2c34
Chris PeBenito 8d2c34
########################################
Chris PeBenito 8d2c34
## <summary>
Chris PeBenito 17de1b
##	Relabel a file to the type used by the
Chris PeBenito 17de1b
##	filesystem tools programs.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_relabelto_entry_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fsadm_exec_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 fsadm_exec_t:file relabelto;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Create, read, write, and delete a file used by the
Chris PeBenito 17de1b
##	filesystem tools programs.
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_manage_entry_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type fsadm_exec_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito c0868a
	allow $1 fsadm_exec_t:file manage_file_perms;
Chris PeBenito 17de1b
')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
########################################
Chris PeBenito 17de1b
## <summary>
Chris PeBenito 17de1b
##	Getattr swapfile
Chris PeBenito 17de1b
## </summary>
Chris PeBenito 17de1b
## <param name="domain">
Chris PeBenito 17de1b
##	<summary>
Chris PeBenito 17de1b
##	The type of the process performing this action.
Chris PeBenito 17de1b
##	</summary>
Chris PeBenito 17de1b
## </param>
Chris PeBenito 17de1b
#
Chris PeBenito 17de1b
interface(`fstools_getattr_swap_files',`
Chris PeBenito 17de1b
	gen_require(`
Chris PeBenito 17de1b
		type swapfile_t;
Chris PeBenito 17de1b
	')
Chris PeBenito 17de1b
Chris PeBenito 17de1b
	allow $1 swapfile_t:file getattr;
Chris PeBenito 17de1b
')