1 files changed, 85 insertions, 0 deletions
diff --git a/policy/modules/contrib/quota.if b/policy/modules/contrib/quota.if
new file mode 100644
index 000000000..bf75d999c
--- /dev/null
+++ b/policy/modules/contrib/quota.if
@@ -0,0 +1,85 @@
+## <summary>File system quota management</summary>
+
+########################################
+## <summary>
+##	Execute quota management tools in the quota domain.
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain allowed to transition.
+##	</summary>
+## </param>
+#
+interface(`quota_domtrans',`
+	gen_require(`
+		type quota_t, quota_exec_t;
+	')
+
+	corecmd_search_bin($1)
+	domtrans_pattern($1, quota_exec_t, quota_t)
+')
+
+########################################
+## <summary>
+##	Execute quota management tools in the quota domain, and
+##	allow the specified role the quota domain.
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain allowed to transition.
+##	</summary>
+## </param>
+## <param name="role">
+##	<summary>
+##	Role allowed access.
+##	</summary>
+## </param>
+## <rolecap/>
+#
+interface(`quota_run',`
+	gen_require(`
+		type quota_t;
+	')
+
+	quota_domtrans($1)
+	role $2 types quota_t;
+')
+
+########################################
+## <summary>
+##	Do not audit attempts to get the attributes
+##	of filesystem quota data files.
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain to not audit.
+##	</summary>
+## </param>
+#
+interface(`quota_dontaudit_getattr_db',`
+	gen_require(`
+		type quota_db_t;
+	')
+
+	dontaudit $1 quota_db_t:file getattr_file_perms;
+')
+
+########################################
+## <summary>
+##	Create, read, write, and delete quota
+##	flag files.
+## </summary>
+## <param name="domain">
+##	<summary>
+##	Domain allowed access.
+##	</summary>
+## </param>
+#
+interface(`quota_manage_flags',`
+	gen_require(`
+		type quota_flag_t;
+	')
+
+	files_search_var_lib($1)
+	manage_files_pattern($1, quota_flag_t, quota_flag_t)
+')