Lines 52-57
userdom_user_home_dir_filetrans(pulseaudio_t, pulseaudio_home_t, dir, ".pulse")
Link Here
|
52 |
userdom_user_home_dir_filetrans(pulseaudio_t, pulseaudio_home_t, file, ".esd_auth") |
52 |
userdom_user_home_dir_filetrans(pulseaudio_t, pulseaudio_home_t, file, ".esd_auth") |
53 |
userdom_user_home_dir_filetrans(pulseaudio_t, pulseaudio_home_t, file, ".pulse-cookie") |
53 |
userdom_user_home_dir_filetrans(pulseaudio_t, pulseaudio_home_t, file, ".pulse-cookie") |
54 |
|
54 |
|
|
|
55 |
userdom_read_user_tmpfs_files(pulseaudio_t) |
56 |
|
55 |
manage_dirs_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
57 |
manage_dirs_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
56 |
manage_files_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
58 |
manage_files_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
57 |
manage_sock_files_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
59 |
manage_sock_files_pattern(pulseaudio_t, pulseaudio_tmp_t, pulseaudio_tmp_t) |
Lines 203-209
allow pulseaudio_client self:unix_dgram_socket sendto;
Link Here
|
203 |
|
205 |
|
204 |
allow pulseaudio_client pulseaudio_client:process signull; |
206 |
allow pulseaudio_client pulseaudio_client:process signull; |
205 |
|
207 |
|
206 |
read_files_pattern(pulseaudio_client, { pulseaudio_tmpfsfile pulseaudio_tmpfs_t }, { pulseaudio_tmpfsfile pulseaudio_tmpfs_t }) |
208 |
read_files_pattern(pulseaudio_t, pulseaudio_tmpfsfile, pulseaudio_tmpfsfile) |
|
|
209 |
read_files_pattern(pulseaudio_client, pulseaudio_tmpfs_t, pulseaudio_tmpfs_t) |
210 |
read_files_pattern(pulseaudio_client, pulseaudio_tmpfsfile, pulseaudio_tmpfsfile) |
207 |
delete_files_pattern(pulseaudio_client, pulseaudio_tmpfsfile, pulseaudio_tmpfsfile) |
211 |
delete_files_pattern(pulseaudio_client, pulseaudio_tmpfsfile, pulseaudio_tmpfsfile) |
208 |
|
212 |
|
209 |
fs_getattr_tmpfs(pulseaudio_client) |
213 |
fs_getattr_tmpfs(pulseaudio_client) |