diff --git a/apparmor.d/groups/gnome/gnome-shell b/apparmor.d/groups/gnome/gnome-shell index f1b3ad7a0..8baf75c4e 100644 --- a/apparmor.d/groups/gnome/gnome-shell +++ b/apparmor.d/groups/gnome/gnome-shell @@ -394,18 +394,21 @@ profile gnome-shell @{exec_path} flags=(attach_disconnected,mediate_deleted) { include if exists } - profile open flags=(attach_disconnected,mediate_deleted) { + profile open flags=(attach_disconnected,mediate_deleted,complain) { include - include - unix receive type=stream, + network inet stream, + network unix stream, - @{lib}/gio-launch-desktop mr, @{lib}/@{multiarch}/glib-[0-9]*/gio-launch-desktop mr, + @{lib}/gio-launch-desktop mr, - @{lib}/* PUx, - /usr/games/* PUx, - /usr/share/gnome-shell/extensions/ding@rastersoft.com/{,*/}ding.js rPx, + @{lib}/** PUx, + @{bin}/** PUx, + /opt/*/** PUx, + /usr/share/*/** PUx, + /usr/local/bin/** PUx, + /usr/games/** PUx, owner @{run}/user/@{uid}/gnome-shell-disable-extensions w,