## apt-cacher, cache for Debian APT repositories. ######################################## ## ## Execute acngtool in the acngtool domain. ## ## ## ## Domain allowed to transition. ## ## # interface(`aptcacher_domtrans_acngtool',` gen_require(` type acngtool_t, acngtool_exec_t; ') corecmd_search_bin($1) domtrans_pattern($1, acngtool_exec_t, acngtool_t) ') ######################################## ## ## Execute acngtool in the acngtool domain, and ## allow the specified role the acngtool domain. ## ## ## ## Domain allowed to transition. ## ## ## ## ## Role allowed access. ## ## # interface(`aptcacher_run_acngtool',` gen_require(` attribute_role acngtool_roles; ') aptcacher_domtrans_acngtool($1) roleattribute $2 acngtool_roles; ') ######################################## ## ## Connect to aptcacher using a unix ## stream socket. ## ## ## ## Domain allowed access. ## ## # interface(`aptcacher_stream_connect',` gen_require(` type aptcacher_t, aptcacher_runtime_t; ') files_search_runtime($1) stream_connect_pattern($1, aptcacher_runtime_t, aptcacher_runtime_t, aptcacher_t) ')