Add idbus profiles.

This commit is contained in:
Alexandre Pujol 2021-04-29 21:00:25 +01:00
parent 001c2028f6
commit 559020861b
No known key found for this signature in database
GPG key ID: C5469996F0DF68EC
7 changed files with 199 additions and 0 deletions

View file

@ -31,6 +31,7 @@ profile gnome-shell @{exec_path} flags=(attach_disconnected) {
ptrace (read),
signal (receive) set=(term, hup) peer=gdm*,
signal (send) set=(usr1) peer=ibus-daemon,
signal (send) set=(term) peer=polkit*,
@{exec_path} mr,
@ -66,6 +67,8 @@ profile gnome-shell @{exec_path} flags=(attach_disconnected) {
owner @{user_config_dirs}/monitors.xml r,
owner @{user_config_dirs}/ibus/* r,
owner @{user_config_dirs}/ibus/bus/[0-9a-f]*-unix-wayland-[0-9] r,
/var/lib/gdm/.config/ibus/bus/[0-9a-f]*-unix-wayland-[0-9] r,
owner @{user_share_dirs}/gnome-shell/{,**} rw,
owner @{user_share_dirs}/gnome-shell/extensions/{,**} r,