media-keys: access to sound settings.

This commit is contained in:
Alexandre Pujol 2021-04-04 00:34:54 +01:00
parent ec2e1fc1c2
commit f1e3574e2e
No known key found for this signature in database
GPG Key ID: C5469996F0DF68EC

View File

@ -18,7 +18,9 @@ profile gsd-media-keys @{exec_path} flags=(attach_disconnected) {
@{exec_path} mr, @{exec_path} mr,
/etc/machine-id r, /etc/machine-id r,
/var/lib/dbus/machine-id r,
/usr/share/sounds/freedesktop/stereo/*.oga r,
/usr/share/gdm/greeter-dconf-defaults r, /usr/share/gdm/greeter-dconf-defaults r,
/usr/share/glib-2.0/schemas/gschemas.compiled r, /usr/share/glib-2.0/schemas/gschemas.compiled r,
/usr/share/icons/{,**} r, /usr/share/icons/{,**} r,
@ -26,6 +28,8 @@ profile gsd-media-keys @{exec_path} flags=(attach_disconnected) {
owner @{user_config_dirs}/pulse/client.conf r, owner @{user_config_dirs}/pulse/client.conf r,
owner @{user_config_dirs}/pulse/cookie rk, owner @{user_config_dirs}/pulse/cookie rk,
owner @{HOME}/.cache/event-sound-cache.tdb.* rwk,
/var/lib/gdm/.config/pulse/client.conf r, /var/lib/gdm/.config/pulse/client.conf r,
owner @{run}/user/[0-9]*/pulse/ r, owner @{run}/user/[0-9]*/pulse/ r,