diff options
Diffstat (limited to 'policy/modules/apps/mplayer.fc')
| -rw-r--r-- | policy/modules/apps/mplayer.fc | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/policy/modules/apps/mplayer.fc b/policy/modules/apps/mplayer.fc new file mode 100644 index 00000000..03ace714 --- /dev/null +++ b/policy/modules/apps/mplayer.fc @@ -0,0 +1,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) +') |