feat(profile): general update.
This commit is contained in:
parent
b4407fb7f8
commit
d283ef5196
17 changed files with 62 additions and 43 deletions
|
|
@ -407,6 +407,8 @@ profile gnome-shell @{exec_path} flags=(attach_disconnected,mediate_deleted) {
|
|||
/usr/games/* PUx,
|
||||
/usr/share/gnome-shell/extensions/ding@rastersoft.com/{,*/}ding.js rPx,
|
||||
|
||||
owner @{run}/user/@{uid}/gnome-shell-disable-extensions w,
|
||||
|
||||
deny @{user_share_dirs}/gvfs-metadata/* r,
|
||||
|
||||
include if exists <local/gnome-shell_open>
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue