aboutsummaryrefslogtreecommitdiff
blob: 03ace71422ed2edfec11d77a20fae2dc9828e05c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
HOME_DIR/\.mplayer(/.*)?	gen_context(system_u:object_r:mplayer_home_t,s0)

/etc/mplayer(/.*)?	gen_context(system_u:object_r:mplayer_etc_t,s0)

/usr/bin/mplayer	--	gen_context(system_u:object_r:mplayer_exec_t,s0)
/usr/bin/mencoder	--	gen_context(system_u:object_r:mencoder_exec_t,s0)
/usr/bin/vlc	--	gen_context(system_u:object_r:mplayer_exec_t,s0)
/usr/bin/xine	--	gen_context(system_u:object_r:mplayer_exec_t,s0)

ifdef(`distro_gentoo',`
HOME_DIR/\.mpv(/.*)?	gen_context(system_u:object_r:mplayer_home_t,s0)

/etc/mpv(/.*)?	gen_context(system_u:object_r:mplayer_etc_t,s0)

/usr/bin/mplayer2	--	gen_context(system_u:object_r:mplayer_exec_t,s0)
/usr/bin/mpv	--	gen_context(system_u:object_r:mplayer_exec_t,s0)
')